1268 search results - page 143 / 254 » Verifying distributed systems: the operational approach |
ISCAPDCS
2003
14 years 11 months ago
2003
EnFuzion and MOSIX are two packages that represent different approaches to cluster management. EnFuzion is a user-level queuing system that can dispatch a predetermined number of ...
CASCON
1996
14 years 11 months ago
1996
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...
PDPTA
2000
14 years 11 months ago
2000
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
ICWN
2008
14 years 11 months ago
2008
: Problem statement: For a sensor network comprising autonomous and self-organizing data sources, efficient similarity-based search for semantic-rich resources (such as video data)...