774 search results - page 123 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
208
click to vote
BPM
2011
Springer
13 years 9 months ago
2011
Springer
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
182
click to vote
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
Distributed Hash Tables (DHTs) provide a scalable solution for data sharing in P2P systems. To ensure high data availability, DHTs typically rely on data replication, yet without ...
120
click to vote
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
MMS
2000
14 years 9 months ago
2000
Excessive buffer requirement to handle continuous-media playbacks is an impediment to costeffective provisioning for on-line video retrieval. Given the skewed distribution of video...