2123 search results - page 216 / 425 » Composition of Cyber-Physical Systems |
226
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
191
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a framework for derivation of several forward dynamics algorithms used in robotics. The framework is based on formulating an augmented system and performing block matr...
174
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
179
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
188
click to vote
BXML
2003
15 years 8 months ago
2003
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...