475 search results - page 71 / 95 » An Approach to the Description and Analysis of Hybrid System... |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
ECRTS
2010
IEEE
13 years 9 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
VR
2009
IEEE
14 years 2 months ago
2009
IEEE
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
SP
2008
IEEE
14 years 2 months ago
2008
IEEE
Host-based security tools such as anti-virus and intrusion detection systems are not adequately protected on today’s computers. Malware is often designed to immediately disable ...