1895 search results - page 6 / 379 » Using ATL for Checking Models |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
BIBE
2006
IEEE
14 years 1 months ago
2006
IEEE
Bioinformatics data is growing at a phenomenal rate. Besides the exponential growth of individual databases, the number of data depositories is increasing too. Because of the comp...
ER
1999
Springer
13 years 11 months ago
1999
Springer
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...
ECLIPSE
2004
ACM
14 years 24 days ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
FBT
2000
13 years 8 months ago
2000
