2123 search results - page 81 / 425 » Composition of Cyber-Physical Systems |
170
click to vote
LICS
1998
IEEE
15 years 7 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
169
click to vote
PASTE
1998
ACM
15 years 7 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
123
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
140
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
The realization of multimedia systems still heavily relies on building monolithic systems that need to be reengineered for every change in the application and little of which can ...
130
click to vote
IEEESCC
2009
IEEE
15 years 11 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesâ€...