5740 search results - page 1033 / 1148 » Dynamic Distributed BackJumping |
ISORC
2006
IEEE
14 years 4 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
MEMOCODE
2006
IEEE
14 years 4 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
NOMS
2006
IEEE
14 years 4 months ago
2006
IEEE
—The trends for pushing more operational intelligence towards network elements to achieve more context-aware and self-managing behavior often requires elements to gather network ...
NOMS
2006
IEEE
14 years 4 months ago
2006
IEEE
— This work considers the problem of hosting multiple third-party Internet services in a cost-effective manner so as to maximize a provider’s business objective. For this purpo...
TRIDENTCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— Telecommunication networks have rapidly added staggering amounts of capacity to their long haul networks at low costs per bit using DWDM technologies. Concurrently, there has b...