881 search results - page 130 / 177 » Tool support for designing nomadic applications |
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
KDD is a complex and demanding task. While a large number of methods has been established for numerous problems, many challenges remain to be solved. New tasks emerge requiring th...
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
DSN
2000
IEEE
14 years 9 days ago
2000
IEEE
Group communication systems are proven tools upon which to build fault-tolerant systems. As the demands for fault-tolerance increase and more applications require reliable distrib...
RTSS
1994
IEEE
14 years 1 hour ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...