Sciweavers

1054 search results - page 107 / 211
» Compositional Refinement of Interactive Systems Modelled by ...
Sort
View
APN
2004
Springer
15 years 9 months ago
On the Use of Coloured Petri Nets for Object-Oriented Design
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
João Paulo Barros, Luís Gomes
UIST
1993
ACM
15 years 8 months ago
VB2: An Architecture for Interaction in Synthetic Worlds
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
Enrico Gobbetti, Jean-Francis Balaguer, Daniel Tha...
ICSE
2001
IEEE-ACM
15 years 8 months ago
Functional Paleontology: System Evolution as the User Sees It
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
Annie I. Antón, Colin Potts
IUI
2006
ACM
15 years 10 months ago
Splitting rules for graceful degradation of user interfaces
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
Murielle Florins, Francisco Montero Simarro, Jean ...
EWHCI
1993
15 years 8 months ago
Model of Utterance and Its Use in Cooperative Response Generation
: A cooperative response model is proposed for interactive intelligent systems that recognizes user intentions and makes cooperative responses. Though many models developed so far ...
Koichi Yamada, Riichiro Mizoguchi, Naoki Harada, A...