257 search results - page 27 / 52 » New Bisimulation Semantics for Distributed Systems |
119
click to vote
WETICE
2007
IEEE
15 years 8 months ago
2007
IEEE
A new application of tuple-space-based coordination systems is in knowledge communication and representation. This knowledge is being published on the Web (the so-called “Semant...
111
click to vote
ROOM
2000
15 years 3 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
103
click to vote
CCGRID
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents “Self-Chord”, a bio-inspired P2P algorithm that can be profitably adopted to build the information service of distributed systems, in particular Computati...
121
click to vote
IFM
2007
Springer
15 years 8 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
120
click to vote
ICSM
2008
IEEE
15 years 8 months ago
2008
IEEE
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...