1492 search results - page 38 / 299 » Automatic Software Model Checking Using CLP |
119
click to vote
OSDI
2002
ACM
16 years 1 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
144
click to vote
JMM2
2006
15 years 1 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...
105
click to vote
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
143
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
117
click to vote
ICRE
2000
IEEE
15 years 5 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...