188 search results - page 26 / 38 » Concurrent Games with Ordered Objectives |
VR
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a system that enables, for the first time, effective transatlantic cooperative haptic manipulation of objects whose motion is computed using a physically-based model. ...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
MIDDLEWARE
2005
Springer
14 years 2 months ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
FM
1999
Springer
14 years 26 days ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
SSS
2010
Springer
13 years 7 months ago
2010
Springer
We present a distributed transactional memory (TM) scheduler called Bi-interval that optimizes the execution order of transactional operations to minimize conflicts. Bi-interval c...