220 search results - page 40 / 44 » Transition-Based Directed Model Checking |
166
Voted
CAISE
2009
Springer
16 years 11 days ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
189
Voted
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
165
click to vote
OTM
2009
Springer
16 years 10 days ago
2009
Springer
The need for semantics preserving integration of complex data has been widely recognized in the healthcare domain. While standards such as Health Level Seven (HL7) have been develo...
168
click to vote
3DGIS
2006
Springer
15 years 11 months ago
2006
Springer
Database management systems (DBMS) have significantly changed in the last several years. From a system dealing with management of administrative data they have involved to a spati...
173
Voted
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...