1054 search results - page 37 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
CHI
2009
ACM
14 years 2 months ago
2009
ACM
This paper takes up the problem of understanding why we preserve some things passionately and discard others without thought. We briefly report on the theoretical literature relat...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
MSE
2002
IEEE
14 years 10 days ago
2002
IEEE
An approach to the specification of a Virtual Reality (VR) interactive environment is presented, which merges and generalizes two methods recently proposed in the literature: the ...
FORTE
2008
13 years 8 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
HT
1999
ACM
13 years 11 months ago
1999
ACM
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...