2123 search results - page 228 / 425 » Composition of Cyber-Physical Systems |
171
click to vote
FTRTFT
2000
Springer
15 years 10 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
170
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
146
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
131
click to vote
DIMEA
2008
15 years 8 months ago
2008
In this article, we present the development of research carried out to design a system of interactive scores for composition and execution, based on temporal constraints called Is...
174
click to vote
WOA
2003
15 years 8 months ago
2003
— We adopt a form of group communication, called channeled multicast, for active rooms and other scenarios featuring strict real-time requirements, inherently unreliable communic...