Sciweavers

2317 search results - page 33 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
13 years 11 months ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt
JUCS
2008
276views more  JUCS 2008»
13 years 7 months ago
Model-Driven Approach to Design User Interfaces for Workflow Information Systems
: Many methods in the area of Human-Computer Interaction have been developed for deriving user interfaces considering individual users. However, nowadays information systems includ...
Josefina Guerrero García, Christophe Lemaig...
OMER
2001
13 years 9 months ago
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
Holger Giese, Ulrich Nickel
ASM
2000
ASM
14 years 8 days ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
PG
2007
IEEE
14 years 2 months ago
Illumination Brush: Interactive Design of All-Frequency Lighting
We present an appearance-based user interface for artists to efficiently design customized image-based lighting environments. 1 Our approach avoids typical iterations of paramete...
Makoto Okabe, Yasuyuki Matsushita, Li Shen, Takeo ...