Sciweavers

5851 search results - page 343 / 1171
» Coordination as a Direct Process
Sort
View
ECTEL
2006
Springer
15 years 10 months ago
A Framework for Building Virtual Communities for Education
The aim of education is to provide the basis for life long learning and improvement. In this direction, schools and universities offer standard curricula aiming to cover the fundam...
Iraklis Varlamis, Ioannis Apostolakis
COMPGEOM
2001
ACM
15 years 10 months ago
Computing a 3-dimensional cell in an arrangement of quadrics: exactly and actually!
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
Nicola Geismann, Michael Hemmer, Elmar Schöme...
AIPS
2008
15 years 9 months ago
From One to Many: Planning for Loosely Coupled Multi-Agent Systems
Loosely coupled multi-agent systems are perceived as easier to plan for because they require less coordination between agent sub-plans. In this paper we set out to formalize this ...
Ronen I. Brafman, Carmel Domshlak
ICALP
2010
Springer
15 years 8 months ago
How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange)
Gossip protocols, also known as epidemic dissemination schemes, are becoming increasingly popular in distributed systems. Yet, it has remained a partially open question to determin...
Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Mort...
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 8 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...