Sciweavers

1682 search results - page 166 / 337
» A behavior model for persuasive design
Sort
View
TSMC
2010
15 years 1 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
CLEIEJ
2002
192views more  CLEIEJ 2002»
15 years 6 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...
WWW
2002
ACM
16 years 7 months ago
Multimedia meets computer graphics in SMIL2.0: a time model for the web
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
Patrick Schmitz
PRIMA
2009
Springer
16 years 29 days ago
Adaptation and Validation of an Agent Model of Functional State and Performance for Individuals
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
Fiemke Both, Mark Hoogendoorn, S. Waqar Jaffry, Ri...
APSEC
2007
IEEE
16 years 23 days ago
Towards Instant Automatic Model Refinement Based on OCL
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
Hui Song, Yanchun Sun, Li Zhou, Gang Huang