Sciweavers

1369 search results - page 26 / 274
» Graphical Design of Reactive Systems
Sort
View
ICSE
2000
IEEE-ACM
14 years 3 days ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
HYBRID
2005
Springer
14 years 2 months ago
Mode-Automata Based Methodology for Scade
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
CDC
2009
IEEE
14 years 1 months ago
Synthesis of positive-real functions with low-complexity series-parallel networks
— The purpose of this paper is to continue to develop the recently introduced concept of a regular positivereal function and its application to the classification of lowcomplexi...
Jason Zheng Jiang, Malcolm C. Smith
UIST
2005
ACM
14 years 2 months ago
Artistic resizing: a technique for rich scale-sensitive vector graphics
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...
Pierre Dragicevic, Stéphane Chatty, David T...
ICVGIP
2004
13 years 10 months ago
Design of A Geometry Streaming System
The size and detail of graphics environments in everyday use has gone up considerably recently. Still, most applications use locally resident geometric content for rendering. In t...
Soumyajit Deb, P. J. Narayanan