10633 search results - page 127 / 2127 » Relating Distributed Objects |
117
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
OTM
2010
Springer
15 years 18 hour ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
114
click to vote
QEST
2005
IEEE
15 years 7 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...
111
click to vote
DAGSTUHL
2010
15 years 3 months ago
2010
This paper provides a survey of approaches for special relativistic visualization. Visualization techniques are classified into three categories: Minkowski spacetime diagrams, dep...
101
click to vote
TROB
2008
15 years 1 months ago
2008
Abstract--This paper presents a relational positioning methodology that allows to restrict totally or partially the movements of an object by specifying its allowed positions in te...