257 search results - page 8 / 52 » New Bisimulation Semantics for Distributed Systems |
120
click to vote
FMOODS
2003
15 years 3 months ago
2003
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
129
click to vote
DEXAW
2004
IEEE
15 years 5 months ago
2004
IEEE
In the past, many attempts have been made to improve the interoperability between different Web-based information systems. In most approaches the remaining problems are still twof...
117
click to vote
ICIW
2007
IEEE
15 years 8 months ago
2007
IEEE
—In this paper, we present a new approach for service discovery combining semantic web and peer-to-peer techniques. A reference ontology is used to describe and discover services...
112
click to vote
ICPADS
1996
IEEE
15 years 6 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
ENTCS
2006
15 years 1 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...