Sciweavers

1682 search results - page 115 / 337
» A behavior model for persuasive design
Sort
View
GI
2004
Springer
15 years 11 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 6 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
DAC
2007
ACM
16 years 7 months ago
Modeling the Function Cache for Worst-Case Execution Time Analysis
Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...
Raimund Kirner, Martin Schoeberl
WETICE
1998
IEEE
15 years 10 months ago
Using Components for Modeling Intelligent and Collaborative Mobile Agents
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...
Min-Jung Woo, Jean-Pierre Briot, Jacques Ferber
CHI
2005
ACM
16 years 6 months ago
NEmESys: neural emotion eliciting system
This paper describes the development of a new model of agent emotion elicitation called Nemesys. It enhances interfaces with emotional and social information. Nemesys is based on ...
Manfred Eckschlager, Regina Bernhaupt, Manfred Tsc...