1448 search results - page 58 / 290 » Deadlock Detection in Distributed Systems |
FTRTFT
2000
Springer
14 years 1 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
ENGL
2006
13 years 10 months ago
2006
Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intellige...
EUC
2007
Springer
14 years 4 months ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...
DEXAW
2006
IEEE
14 years 4 months ago
2006
IEEE
Auto-ID technologies allow capturing the time and location of products in the supply chain for tracking and tracing. This paves the way for a variety of business applications, suc...
ICMCS
2009
IEEE
13 years 7 months ago
2009
IEEE
Large-scale multimedia semantic concept detection requires realtime identification of a set of concepts in streaming video or large image datasets. The potentially high data volum...