7992 search results - page 457 / 1599 » Communication Abstractions for Distributed Systems |
168
click to vote
RV
2009
Springer
16 years 1 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 ...
163
click to vote
DSOM
1999
Springer
15 years 11 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...
195
Voted
ISORC
2008
IEEE
16 years 1 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...
180
Voted
NIPS
2000
15 years 8 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...
172
Voted
ICSEA
2008
IEEE
16 years 1 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 ...