397 search results - page 20 / 80 » Coalgebraic Models for Reactive Systems |
CHI
2011
ACM
13 years 9 days ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...
PROCEDIA
2010
13 years 3 months ago
2010
This work presents an approach to the obstacle avoidance problem, applicable in the frame of driver assistance. A decision, expressed as a proposed acceleration vector for the veh...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
DSVIS
2008
Springer
13 years 10 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...