Sciweavers

1983 search results - page 315 / 397
» User Interface Modelling with UML
Sort
View
MAM
2008
138views more  MAM 2008»
15 years 3 months ago
FPGA based tester tool for hybrid real-time systems
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
Jan Krakora, Zdenek Hanzálek
ASE
2005
102views more  ASE 2005»
15 years 3 months ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
Prasanna Padmanabhan, Robyn R. Lutz
CORR
2000
Springer
138views Education» more  CORR 2000»
15 years 3 months ago
Towards rule-based visual programming of generic visual systems
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
Berthold Hoffmann, Mark Minas
IFE
2002
69views more  IFE 2002»
15 years 3 months ago
Generierung interaktiver Animationen von Berechnungsmodellen
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Stephan Diehl, Andreas Kerren
CONCURRENCY
1998
83views more  CONCURRENCY 1998»
15 years 2 months ago
Supporting universal personal computing on the Internet with Java and CORBA
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...
Jinsong Zhu, Maria Törö, Victor C. M. Le...