1682 search results - page 56 / 337 » A behavior model for persuasive design |
161
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
182
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
162
click to vote
JNW
2008
15 years 6 months ago
2008
Security is an increasingly important issue for networked services. However, since networked environments may exhibit varying networking behavior and contain heterogeneous devices ...
168
click to vote
TC
1998
15 years 5 months ago
1998
—We describe a system-level simulation model and show that it enables accurate predictions of both I/O subsystem and overall system performance. In contrast, the conventional app...
148
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...