373 search results - page 31 / 75 » Synthesis of Trigger Properties |
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
FGR
2006
IEEE
14 years 4 months ago
2006
IEEE
The computer is an ubiquitous element of modern society, nonetheless, human computer interaction is still rather inflexible. Particularly in local collaborative environments, lik...
HAPTICS
2010
IEEE
14 years 2 months ago
2010
IEEE
We describe a system that can provide combined auditory and haptic sensations that arise while walking on different grounds. The simulation is based on a physical model that drive...
CHARME
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...