10159 search results - page 503 / 2032 » System Design Validation Using Formal Models |
162
click to vote
WETICE
1998
IEEE
15 years 9 months ago
1998
IEEE
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
124
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
In this paper, we propose design strategies for persuasive technologies that help people who want to change their everyday behaviors. Our strategies use theory and prior work to s...
151
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
130
click to vote
EPEW
2007
Springer
15 years 11 months ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
139
click to vote
PE
2010
Springer
14 years 12 months ago
2010
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...