1711 search results - page 50 / 343 » Consistency management in Deno |
156
click to vote
ICRA
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
160
click to vote
SOFSEM
2007
Springer
16 years 7 days ago
2007
Springer
We provide the implementation results of the distributed mutual exclusion algorithm based on Ricart-Agrawala algorithm for mobile ad hoc networks (MANETs) using the ns2 simulator d...
167
click to vote
ICDCS
2006
IEEE
16 years 5 days ago
2006
IEEE
In a distributed environment the utilization of file buffer caches in different clients may vary greatly. Cooperative caching is used to increase cache utilization by coordinatin...
136
click to vote
ASPDAC
2005
ACM
15 years 11 months ago
2005
ACM
— The power consumption of the network interface plays a major role in determining the total operating lifetime of wireless networked embedded systems. In case of on-demand pagin...
151
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
We discuss how references and citations within a document to particular sources can be verified and guaranteed. When a document refers through a quotation to another document, th...