3335 search results - page 347 / 667 » Grid result checking |
171
click to vote
ICEIS
2006
IEEE
16 years 21 days ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
178
click to vote
IEEECIT
2006
IEEE
16 years 21 days ago
2006
IEEE
Coverage configuration is an important issue in large scale wireless sensor networks (WSNs). Existing coverage configuration methods are generally based on the concept of physical...
174
click to vote
ATVA
2005
Springer
16 years 6 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
180
click to vote
SAS
2005
Springer
16 years 4 days ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
151
click to vote
APWEB
2004
Springer
16 years 2 days ago
2004
Springer
We propose a template-based runtime invalidation approach for maintaining cache consistency in database-generated web contents. In our approach, the invalidator sits between a web...