1240 search results - page 112 / 248 » Composition with Target Constraints |
ACPC
1999
Springer
15 years 2 months ago
1999
Springer
In this paper, we first present an Object Composition Petri Nets (OCPN) based model methodology for describing the dynamic behaviour of the multiple video objects and user interac...
EUROMICRO
1996
IEEE
15 years 2 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
ECHT
1994
15 years 2 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
DSVIS
1995
Springer
15 years 1 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...