10038 search results - page 1792 / 2008 » Model Checking for Managers |
127
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We introduce the Multiagent Agreement Problem (MAP) to represent a class of multiagent scheduling problems. MAP is based on the Distributed Constraint Reasoning (DCR) paradigm and...
116
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...
150
click to vote
CONTEXT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As the number of mobile devices we carry grows, the job of managing those devices throughout the day becomes cumbersome. This is especially true for cell phones. Despite ...
160
click to vote
DAWAK
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
145
click to vote
DCOSS
2005
Springer
15 years 10 months ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...