Sciweavers

1682 search results - page 90 / 337
» A behavior model for persuasive design
Sort
View
DAC
1999
ACM
16 years 7 months ago
LISA - Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
Stefan Pees, Andreas Hoffmann, Vojin Zivojnovic, H...
UML
2005
Springer
15 years 11 months ago
Extending the Boundaries of Model-Based Development to Account for Errors
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
Sandra Basnyat, Rémi Bastide, Philippe A. P...
PRESENCE
2006
197views more  PRESENCE 2006»
15 years 6 months ago
A Spring Model for Whole-Hand Virtual Grasping
We present a physically-based approach to grasping and manipulation of virtual objects that produces visually realistic results, addresses the problem of visual interpenetration o...
Christoph W. Borst, Arun P. Indugula
ICASSP
2011
IEEE
14 years 10 months ago
A single-port non-parametric model of turn-taking in multi-party conversation
The taking of turns to speak is an intrinsic property of conversation. It is expected that models of taking turns, providing a prior distribution over conversational form, can red...
Kornel Laskowski, Jens Edlund, Mattias Heldner
TGC
2005
Springer
15 years 11 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy