Sciweavers

773 search results - page 65 / 155
» Coordination in the ImpUNITY Framework
Sort
View
COORDINATION
2007
Springer
15 years 6 months ago
Generalized Committed Choice
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
WIOPT
2006
IEEE
15 years 5 months ago
Resource control for the EDCA and HCCA mechanisms in IEEE 802.11e networks
— We investigate the problem of efficient resource control for elastic traffic over the EDCA (Enhanced Distributed Channel Access) and HCCA (Hybrid Coordination Function HCF - ...
Vasilios A. Siris, Costas Courcoubetis
APN
2004
Springer
15 years 5 months ago
An Approach to Distributed State Space Exploration for Coloured Petri Nets
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
Lars Michael Kristensen, Laure Petrucci
HICSS
2002
IEEE
115views Biometrics» more  HICSS 2002»
15 years 4 months ago
Achieving Software Flexibility via Intelligent Workflow Techniques
In this paper, we investigate innovative techniques of achieving software flexibility in a workflow environment. We believe that by incorporating workflow technology and intellige...
Daniel Dajun Zeng, J. Leon Zhao
ECSCW
2001
15 years 1 months ago
Team automata for spatial access control
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
Maurice H. ter Beek, Clarence A. Ellis, Jetty Klei...