798 search results - page 131 / 160 » Statecharts as Protocols for Objects |
ADBIS
1997
Springer
15 years 4 months ago
1997
Springer
Recent work on client-server data-shipping OODBs has demonstratedthe usefulnessof localdatacachingat clientsites. In addition to data caching, index caching can provide substantia...
SIGOPSE
1996
ACM
15 years 3 months ago
1996
ACM
Applications of the future will need to support large numbers of clients and will require scalable storage systems that allow state to be shared reliably. Recent research in distr...
TACS
1997
Springer
15 years 3 months 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...
ISCA
1993
IEEE
15 years 3 months ago
1993
IEEE
A shared data structure is lock-free if its operations do not require mutual exclusion. If one process is interrupted in the middle of an operation, other processes will not be pr...
107
click to vote
MAAMAW
1994
Springer
15 years 3 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...