1448 search results - page 58 / 290 » Deadlock Detection in Distributed Systems |
121
Voted
FTRTFT
2000
Springer
15 years 6 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 ...
119
Voted
ENGL
2006
15 years 2 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...
118
Voted
EUC
2007
Springer
15 years 9 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, ...
103
Voted
DEXAW
2006
IEEE
15 years 8 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...
130
Voted
ICMCS
2009
IEEE
15 years 14 days 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...