1398 search results - page 14 / 280 » Ensuring Properties of Interaction Systems |
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
HAPTICS
2007
IEEE
14 years 1 months ago
2007
IEEE
When we recognize objects, multiple sensory information (e.g., visual, auditory, and haptic) is used with fusion. For example, both eyes and hands provide relevant information abo...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
CC
2009
Springer
14 years 8 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...