4434 search results - page 544 / 887 » On the Composition of Hybrid Systems |
172
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
217
click to vote
EGOV
2008
Springer
15 years 8 months ago
2008
Springer
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...
165
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
198
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...