455 search results - page 21 / 91 » Asynchronous and deterministic objects |
SIAMDM
2008
13 years 8 months ago
2008
Hat problems have become a popular topic in recreational mathematics. In a typical hat problem, each of n players tries to guess the color of the hat they are wearing by looking a...
ICWS
2003
IEEE
13 years 9 months ago
2003
IEEE
Abstract Asynchronous invocations are an important functionality in the context of distributed object frameworks, because in many situations clients should not block during remote ...
CHI
1993
ACM
14 years 4 days ago
1993
ACM
The object-oriented history mechanism of the GINA application framework and its relevance for multi-user applications are demonstrated. The interaction history of a document is re...
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
As Computer Science (CS) educators, we are involved in teaching a variety of undergraduate and graduate courses such as database management systems, networking, software developme...
TACS
1997
Springer
14 years 5 days ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...