Sciweavers

131 search results - page 19 / 27
» A Framework for Organisational Control Principles
Sort
View
P2P
2009
IEEE
101views Communications» more  P2P 2009»
14 years 2 months ago
Monitoring and Management of Structured Peer-to-Peer Systems
The peer-to-peer paradigm shows the potential to provide the same functionality and quality like client/server based systems, but with much lower costs. In order to control the qu...
Kalman Graffi, Dominik Stingl, Julius Rueckert, Al...
CAV
2006
Springer
120views Hardware» more  CAV 2006»
13 years 11 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
ATAL
2005
Springer
14 years 27 days ago
From team plan to individual plans: a petri net-based approach
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
Olivier Bonnet-Torrés, Catherine Tessier
VRML
1999
ACM
13 years 11 months ago
An Open Virtual Environment for Autonomous Agents Using VRML and Java
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...
Bernhard Jung, Jan-Torsten Milde
CN
2004
67views more  CN 2004»
13 years 7 months ago
Scalable service differentiation using purely end-to-end mechanisms: features and limitations
Abstract-We investigate schemes for achieving service differentiation via weighted end-to-end congestion control mechanisms within the framework of the additive increase/multiplica...
Thyagarajan Nandagopal, Kang-Won Lee, Jia-Ru Li, V...