2004 search results - page 11 / 401 » Comparison of Model Checking Tools for Information Systems |
IV
2005
IEEE
15 years 5 months ago
2005
IEEE
Polygonal meshes are used in many areas to model different objects and structures. Depending on their applications, they sometimes have to be processed to, for instance, reduce th...
121
click to vote
FAC
2008
14 years 11 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
112
click to vote
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
ECBS
2006
IEEE
15 years 3 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
101
click to vote
DASFAA
2009
IEEE
15 years 6 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...