Sciweavers

1369 search results - page 132 / 274
» Graphical Design of Reactive Systems
Sort
View
GI
2004
Springer
15 years 3 months ago
Transforming XML Schemas into Java Swing GUIs
: When designing an XML-based Web Content Management System (WCMS), one usually has to define and maintain two separate entities just for the editorial part: the database schemes ...
Patrick Lay, Stefan Lüttringhaus-Kappel
CPE
2000
Springer
369views Hardware» more  CPE 2000»
15 years 2 months ago
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
Armin Zimmermann, Jörn Freiheit, Reinhard Ger...
CHI
1999
ACM
15 years 2 months ago
A Visual Medium for Programmatic Control of Interactive Applications
The VisMap system provides for “visual manipulation” of arbitrary off-the-shelf applications, through an application’s graphical user interface. VisMap’s API-independent c...
Luke S. Zettlemoyer, Robert St. Amant
SPIN
1999
Springer
15 years 2 months ago
Model Checking for Managers
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fen...
COBUILD
1998
Springer
15 years 2 months ago
Multiple-Computer User Interfaces: A Cooperative Environment Consisting of Multiple Digital Devices
Traditional graphical user interfaces (GUIs) are mainly designed for an environment consisting of a single display and a set of single input devices. However, in the near future we...
Jun Rekimoto