2466 search results - page 12 / 494 » Algorithms for distributed functional monitoring |
240
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
135
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
155
Voted
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
132
Voted
CRV
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper considers the problem of shape-from-shading using nearby planar distributed illuminants. It is shown that a rectangular planar nearby distributed uniform isotropic illu...
124
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
— Measuring real-time end-to-end network path performance metrics is important for several distributed applications such as media streaming systems (e.g., for switching to paths ...