Sciweavers

2357 search results - page 297 / 472
» Computing Refactorings of Behavior Models
Sort
View
EMSOFT
2004
Springer
15 years 8 months ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
DIGRA
2003
Springer
15 years 8 months ago
Player Character Design Facilitating Emotional Depth in MMORPGs
How can we create computer games facilitating emotional depth in the playing experience? When entering into a persistent virtual game world the player leaves the body behind. It i...
Mirjam Eladhari, Craig A. Lindley
ICMI
2003
Springer
96views Biometrics» more  ICMI 2003»
15 years 8 months ago
Learning and reasoning about interruption
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
Eric Horvitz, Johnson Apacible
CONCUR
1999
Springer
15 years 7 months ago
Robust Satisfaction
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
Orna Kupferman, Moshe Y. Vardi
GCC
2009
Springer
15 years 1 months ago
On HLA-Based Collaborative Simulation Techniques
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
Fan Miao Miao, Fan Yu Shun