5015 search results - page 293 / 1003 » Model Checking a Path |
161
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we expose the theoretical background underlying our current research. This consists in the development of behaviour-based knowledge systems, for closing the gaps bet...
189
click to vote
ISIM
2007
15 years 8 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
177
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Path expressions are the principal means of locating data in a hierarchical model. But path expressions are brittle because they often depend on the structure of data and break if...
163
click to vote
CN
1998
15 years 6 months ago
1998
This paper focuses on the representation and access of Web-based information, and how to make such a representation adapt to the activities or interests of individuals within a co...
179
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...