2123 search results - page 245 / 425 » Composition of Cyber-Physical Systems |
196
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
153
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
163
click to vote
ESOP
2010
Springer
15 years 11 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) ...
208
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...
157
click to vote
MM
2010
ACM
15 years 6 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...