Sciweavers

1675 search results - page 14 / 335
» Compositional Model-Based Design
Sort
View
ECRTS
2005
IEEE
14 years 3 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
MSE
2002
IEEE
90views Hardware» more  MSE 2002»
14 years 2 months ago
Toward a Model-Based Approach to the Specification of Virtual Reality Environments
An approach to the specification of a Virtual Reality (VR) interactive environment is presented, which merges and generalizes two methods recently proposed in the literature: the ...
Daniela Fogli, Piero Mussio, Augusto Celentano, Fa...
IPMU
2010
Springer
13 years 7 months ago
Possibilistic Graphical Models and Compositional Models
We overview three kinds of possibilistic graphical models (based on directed acyclic graphs) and present, how they can be expressed by means of non-graphical approach to multidimen...
Jirina Vejnarová
ISCAS
2007
IEEE
123views Hardware» more  ISCAS 2007»
14 years 4 months ago
Process-Independent Resistor Temperature-Coefficients using Series/Parallel and Parallel/Series Composite Resistors
—this paper introduces series/parallel and parallel/series composite resistor topologies. These topologies allow one to design a temperature coefficient that is insensitive to pr...
B. Robert Gregoire, Un-Ku Moon
AAAI
1994
13 years 11 months ago
Model-Based Automated Generation of User Interfaces
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
Angel R. Puerta, Henrik Eriksson, John H. Gennari,...