1965 search results - page 293 / 393 » On the analysis of interacting pushdown systems |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...
WCRE
2009
IEEE
14 years 3 months ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
ISMAR
2007
IEEE
14 years 3 months ago
2007
IEEE
Many Augmented Reality (AR) applications use marker-based vision tracking systems to recover camera pose by detecting one or more planar landmarks. However, most of these systems ...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
— Software protection is increasingly necessary for uses in commercial systems, digital content distributors, and military systems. The Secure Software (SecSoft) architecture is ...
AADEBUG
2005
Springer
14 years 2 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...