Sciweavers

4957 search results - page 412 / 992
» Simplifying Distributed System Development
Sort
View
MFCS
1994
Springer
15 years 6 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
JUCS
2008
189views more  JUCS 2008»
15 years 2 months ago
Structural Performance Evaluation of Multi-Agent Systems
: This paper is dedicated to the issue of structural performance of multi-agent platforms. Due to the wide range of all available architectures, we have concentrated only on Java R...
Dariusz Król, Michal Zelmozer
IAT
2006
IEEE
15 years 8 months ago
Ontology-Based Content Management and Access Framework for Supporting E-Learning Systems
E-Learning is a fast, just-in-time, and non-linear learning process, which is now widely applied in distributed and dynamic environments such as on the World Wide Web. However, it...
Ming Mao, Yefei Peng, Daqing He
SIGECOM
2004
ACM
115views ECommerce» more  SIGECOM 2004»
15 years 7 months ago
Limited reputation sharing in P2P systems
The increasing popularity of resource exchange through peerto-peer networks has encouraged the development of ways to support more complex commercial transactions over these netwo...
Sergio Marti, Hector Garcia-Molina
CCGRID
2003
IEEE
15 years 7 months ago
MAGNET: A Tool for Debugging, Analyzing and Adapting Computing Systems
As computing systems grow in complexity, the cluster and grid communities require more sophisticated tools to diagnose, debug and analyze such systems. We have developed a toolkit...
Mark K. Gardner, Wu-chun Feng, Michael Broxton, Ad...