9067 search results - page 1516 / 1814 » Adaptive Model Checking |
207
click to vote
INFOCOM
2005
IEEE
16 years 25 days ago
2005
IEEE
— In this paper we consider packet networks loaded by admissible traffic patterns, i.e. by traffic patterns that, if optimally routed, do not overload network resources. In the...
209
click to vote
SENSYS
2005
ACM
16 years 24 days ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...
213
click to vote
ISPAN
2002
IEEE
16 years 4 days ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
212
click to vote
APN
2010
Springer
16 years 1 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
236
click to vote
EDBT
2000
ACM
15 years 11 months ago
2000
ACM
In high-dimensional query processing, the optimization of the logical page-size of index structures is an important research issue. Even very simple query processing techniques suc...