257 search results - page 10 / 52 » New Bisimulation Semantics for Distributed Systems |
102
click to vote
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
PDCN
2004
15 years 1 months ago
2004
A new age of heterogeneous resource integration has begun. Next generation of integration systems will utilize different methods and techniques to achieve the vision of ubiquitous...
TCS
2002
14 years 11 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
107
click to vote
OSDI
2006
ACM
15 years 12 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
123
click to vote
CL
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...