1268 search results - page 174 / 254 » Verifying distributed systems: the operational approach |
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
The rapid adoption of XML as the standard for data representation and exchange foreshadows a massive increase in the amounts of XML data collected, maintained, and queried over th...
IAT
2009
IEEE
14 years 4 months ago
2009
IEEE
Application of autonomous intelligent systems into airspace domain is very important nowadays. The paper presents decentralized collision avoidance algorithm utilizing a solution ...
EDOC
2007
IEEE
14 years 4 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
MTA
2000
13 years 9 months ago
2000
Multimedia presentations comprise various media objects such as text, audio, image, and video that are delivered to users according to certain temporal relationships. In stored mul...
SRDS
2000
IEEE
14 years 2 months ago
2000
IEEE
Fault-tolerance is fundamental to the further development of mobile agent applications. In the context of mobile agents, fault-tolerance prevents a partial or complete loss of the...