4693 search results - page 573 / 939 » Verifying Hybrid Systems |
119
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
In video communication systems, gaze is an important topic and is widely being studied. Unlike other studies, displaying user's reflections on the video screen we stopped imi...
256
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
178
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
193
click to vote
IOLTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
176
click to vote
CIRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—Many researchers have been encouraged to investigate the design, posture and stability of biped robots in order to replicate the anthropoid gait. This paper addresses the design...