33 search results - page 7 / 7 » Model Checking Knowledge and Time in Systems with Perfect Re... |
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
ADBIS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
HICSS
2002
IEEE
13 years 9 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...