575 search results - page 62 / 115 » Model Checking Restricted Sets of Timed Paths |
101
click to vote
ADBIS
2005
Springer
15 years 5 months ago
2005
Springer
We present a formal analysis of the following view-selection problem: Given a set of queries and a database, return definitions of views that, when materialized in the database, w...
101
click to vote
ICSOC
2010
Springer
14 years 10 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
WABI
2001
Springer
15 years 4 months ago
2001
Springer
We describe algorithms for pattern matching and pattern learning in TOPS diagrams (formal descriptions of protein topologies). These problems can be reduced to checking for subgrap...
RTSS
2006
IEEE
15 years 5 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
CCR
2005
14 years 11 months ago
2005
Dynamic multi-path routing has the potential to improve the reliability and performance of a communication network, but carries a risk. Routing needs to respond quickly to achieve...