10038 search results - page 564 / 2008 » Model Checking for Managers |
209
click to vote
SKG
2006
IEEE
16 years 1 months ago
2006
IEEE
Predominant resources for execution of any application are computational power and memory. On one side, computational power has grown many folds faster than memory capacity. On th...
181
click to vote
COORDINATION
2005
Springer
16 years 22 days ago
2005
Springer
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
161
click to vote
PADS
2003
ACM
16 years 13 days ago
2003
ACM
A federation community is a group of federations working together to achieve a common goal. With a federation community, a large-scale simulation can be built using existing simul...
189
click to vote
ICPP
2002
IEEE
16 years 4 days ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...
162
click to vote
AIM
2006
15 years 8 months ago
2006
: This paper focuses on situations where documents serve to coordinate a distributed Community of Action engaged in a common goal-directed activity. In such contexts, a document ap...