7992 search results - page 457 / 1599 » Communication Abstractions for Distributed Systems |
128
click to vote
RV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
120
click to vote
DSOM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The successful deploymentof next-generation distributedsystems is signi cantly dependent on the e cient management support that improves the performance and reliability o...
156
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
133
click to vote
NIPS
2000
15 years 5 months ago
2000
Theories of object recognition often assume that only one representation scheme is used within one visual-processing pathway. Versatility of the visual system comes from having mu...
136
click to vote
ICSEA
2008
IEEE
15 years 11 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...