613 search results - page 73 / 123 » Executable Visual Contracts |
SIGCSE
2004
ACM
14 years 3 months ago
2004
ACM
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
CSMR
2004
IEEE
14 years 1 months ago
2004
IEEE
Understanding the run-time behavior of object-oriented legacy systems is a complex task due to factors such as late binding and polymorphism. Current approaches extract and use in...
FASE
2009
Springer
14 years 4 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this work, we implement a real-time visual tracker that targets the position and 3D pose of objects in video sequences, specifically faces. Using Stream Processors for perform...