4477 search results - page 721 / 896 » Applications and Environments for Multi-agent Systems |
135
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
145
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
As users interact with an increasing array of personal computing devices, maintaining consistency of data across those devices becomes significantly more difficult. Typical soluti...
150
click to vote
DEXA
2004
Springer
15 years 9 months ago
2004
Springer
Multi-File Caching issues arise in applications where a set of jobs are processed and each job requests one or more input files. A given job can only be started if all its input fi...
175
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
158
click to vote
CCGRID
2001
IEEE
15 years 9 months ago
2001
IEEE
The Globus Data Grid architecture provides a scalable infrastructure for the management of storage resources and data that are distributed across Grid environments. These services...