1398 search results - page 106 / 280 » Ensuring Properties of Interaction Systems |
135
click to vote
RSP
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
135
click to vote
CONTEXT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper argues that the driving task exhibits the properties of complex systems. Driving behavior emerges from the intricate and complex interactions between the drive...
124
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
115
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
Designing for a supple interaction, involving users bodily and emotionally into a ‘dance’ with a system is a challenging task. Any break-ups in interaction become fatal to the...
189
click to vote
BIRTHDAY
2012
Springer
14 years 7 days ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...