1682 search results - page 57 / 337 » A behavior model for persuasive design |
151
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an analysis and system-level design of a capacitive harvester of vibration energy composed from a mechanical resonator, capacitive transducer and a conditioning...
151
click to vote
HICSS
2009
IEEE
16 years 29 days ago
2009
IEEE
Automated negotiation has attracted growing interest within fields such as e-business, multi-agent systems, and web services. Nevertheless, a majority of automated negotiation res...
166
click to vote
ENDM
2000
15 years 6 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
232
click to vote
OOPSLA
2009
Springer
16 years 20 days ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
150
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...