Sciweavers

1875 search results - page 223 / 375
» A Calculus of Broadcasting Systems
Sort
View
128
Voted
EUROPAR
2003
Springer
15 years 6 months ago
A Coordination Model for ad hoc Mobile Systems
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
Marco Tulio de Oliveira Valente, Fernando Magno Qu...
WMCSA
2002
IEEE
15 years 5 months ago
A Platform Supporting Coordinated Adaptation in Mobile Systems
Mobile environments are highly dynamic, characterised by frequent and sudden changes in resource availability. As a consequence, adaptive mobile applications need to be capable of...
Christos Efstratiou, Adrian Friday, Nigel Davies, ...
AAAI
2000
15 years 2 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
93
Voted
WCE
2007
15 years 1 months ago
Performance Analysis of Job-Shop Production Systems under Different Order Release Control Parameters
—Controlling the flow of materials inside job-shops involves several decisions such as the acceptance or rejection of an incoming order, the order’s due date definition, the re...
Paulo S. A. Sousa, Maria R. A. Moreira
204
Voted
POPL
2005
ACM
16 years 1 months ago
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
John Field, Carlos A. Varela