1895 search results - page 144 / 379 » Using ATL for Checking Models |
175
click to vote
JMM2
2006
15 years 5 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
140
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
155
click to vote
PRDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
168
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
139
click to vote
JIISIC
2008
15 years 6 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...