Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applica…
Basic Distributed Computing Technologies -- Fundamentals -- Basic Communication Services -- High Assurance Communication -- Remote Procedure Calls and the Client/Server Model -- Styles of Client/Server Computing -- CORBA: The Common Object Request Broker Architecture -- System Support for Fast Client/Server Communication -- Web Technologies -- The World Wide Web -- Major Web Technologies -- Web…
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic A…
hal. 501-520
hal. 483-486
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards…
The Nature of SPSS -- Summarizing Data Graphically -- Summarizing Data Numerically: Measures of Central Tendency -- Summarizing Data Numerically: Measures of Variability -- Summarizing Multivariate Data: Association Between Numerical Variables -- Summarizing Multivariate Data: Association Between Categorical Variables -- Basic Ideas of Probability -- Probability Distributions -- Sampling Distri…
to MuPAD -- Mathematical graphics with MuPAD -- to calculus of one variable -- Multivariable calculus -- Algebra with MuPAD -- Data visualization and elementary statistics -- A brief introduction to programming.The world of mathematics is probably one of the most fascinating creations of mankind. The world of mathematics with a Computer Algebra System, like MuPAD, is even more fascinating. With…
Abstract Theory of Schwarz Methods -- Two-Level Overlapping Methods -- Substructuring Methods: Introduction -- Primal Iterative Substructuring Methods -- Neumann-Neumann and FETI Methods -- Spectral Element Methods -- Linear Elasticity -- Preconditioners for Saddle Point Problems -- Problems in H (div ; ?) and H (curl ; ?) -- Indefinite and Nonsymmetric Problems -- Elliptic Problems and Sobolev…