332 search results - page 49 / 67 » Concurrency control with data coloring |
TRIDENTCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
A global Internet overlay testbed is being deployed to support the distributed, shared use of resources for network research. The Global X-Bone (GX-Bone) augments the X-Bone softw...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
ASPLOS
2000
ACM
14 years 1 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...
EUC
2008
Springer
13 years 11 months ago
2008
Springer
Satisfying the varied privacy preferences of individuals, while exposing context data to authorized applications and individuals, remains a major challenge for context-aware compu...
3DPH
2009
13 years 7 months ago
2009
Abstract. Teleradiology, which enables distribution and sharing of digital medical images for collaborative diagnosis, has enjoyed rapid success due to the advances in telecommunic...