Sciweavers

1682 search results - page 35 / 337
» A behavior model for persuasive design
Sort
View
FORMATS
2007
Springer
15 years 5 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
15 years 7 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
AROBOTS
2007
129views more  AROBOTS 2007»
15 years 2 months ago
Behaviors for physical cooperation between robots for mobility improvement
— A team of small, low-cost robots instead of a single large, complex robot is useful in operations such as search and rescue, urban exploration etc. However, the performance of ...
Ashish Deshpande, Jonathan E. Luntz
AIED
2005
Springer
15 years 7 months ago
Towards Data-Driven Design of a Peer Collaborative Agent
The research literature investigating the construction of tutorial dialogue and learning companion environments present parallel experiences in attempting to emulate what has been ...
Gahgene Gweon, Carolyn Penstein Rosé, Regan...
EMSOFT
2005
Springer
15 years 7 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits