Sciweavers

432 search results - page 47 / 87
» Interaction Abstraction for Compositional Finite State Syste...
Sort
View
IFIPTCS
2000
15 years 9 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
AIIDE
2008
15 years 8 months ago
Talking with NPCs: Towards Dynamic Generation of Discourse Structures
Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state...
Christina R. Strong, Michael Mateas
FIW
2007
123views Communications» more  FIW 2007»
15 years 7 months ago
Composing Features by Managing Inconsistent Requirements
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
Robin C. Laney, Thein Than Tun, Michael Jackson, B...
CAISE
2006
Springer
15 years 9 months ago
Loosely-Coupled Process Automation in Medical Environments
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
Jurate Vysniauskaite
SI3D
1999
ACM
15 years 10 months ago
Interactive technical illustration
A rendering is an abstraction that favors, preserves, or even emphasizes some qualities while sacrificing, suppressing, or omitting other characteristics that are not the focus o...
Bruce Gooch, Peter-Pike J. Sloan, Amy Gooch, Peter...