1820 search results - page 327 / 364 » Generic Graphical User Interfaces |
96
Voted
ICCSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Multi-user virtual environment (MUVE) systems enable virtual participation in many applications. A MUVE usually is a complex system requiring technologies from 3D graphic...
121
click to vote
IFM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
77
Voted
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
110
click to vote
CW
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...