1682 search results - page 116 / 337 » A behavior model for persuasive design |
173
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
172
click to vote
AMAST
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
201
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
171
click to vote
DATE
2006
IEEE
16 years 12 days ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
198
click to vote
MASCOTS
2010
15 years 7 months ago
2010
Mobility models have traditionally been tailored to specific application domains such as human, military, or ad hoc transportation scenarios. This tailored approach often renders a...