10038 search results - page 516 / 2008 » Model Checking for Managers |
167
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
187
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
163
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
167
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...
212
click to vote
WOWMOM
2005
ACM
16 years 20 days ago
2005
ACM
A dynamically extensible control plane is a key enabling feature of next generation intelligent selfconfiguring networks. This extensibility can be achieved by enabling service de...