2123 search results - page 174 / 425 » Composition of Cyber-Physical Systems |
167
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
182
click to vote
OPODIS
2008
15 years 8 months ago
2008
This paper presents an asynchronous implementation of a failure detector for unknown and mobile networks. Our approach does not rely on timers. Neither the composition nor the numb...
162
click to vote
CASCON
1996
15 years 7 months ago
1996
The Enterprise parallel programming system allows programmers to create, compile, execute, and debug parallel applications that execute over a network of workstations. The run-tim...
199
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
This research concerns the definition of a service-oriented approach for business processes modeling. Business services are reusable process units that contain one or several proc...
144
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...