61 search results - page 8 / 13 » Model Checking Real Time Java Using Java PathFinder |
ICIP
1998
IEEE
14 years 10 months ago
1998
IEEE
We present a novel formulation for B-spline snakes that can be used as a tool for fast and intuitive contour outlining. The theory is implemented in a platform independent JAVA in...
ECOOPW
1999
Springer
14 years 26 days ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
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...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a framework to design real-time event-based applications using Java. The Real-Time Specification for Java (RTSJ) is well designed for hard periodic real-time ...