257 search results - page 26 / 52 » New Bisimulation Semantics for Distributed Systems |
100
click to vote
ACSD
2009
IEEE
15 years 8 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
121
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
114
click to vote
OPODIS
2004
15 years 3 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
148
Voted
ADL
2000
Springer
15 years 6 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
113
click to vote
ITNG
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...