Sciweavers

4635 search results - page 245 / 927
» Modeling Design Knowledge on Structure
Sort
View
HASE
1998
IEEE
15 years 8 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
EMSOFT
2001
Springer
15 years 8 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
239
Voted
VLDB
2008
ACM
196views Database» more  VLDB 2008»
16 years 4 months ago
Modelling retrieval models in a probabilistic relational algebra with a new operator: the relational Bayes
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...
Thomas Rölleke, Hengzhi Wu, Jun Wang, Hany Azzam
ICALT
2007
IEEE
15 years 10 months ago
The application of IMS Learning Design to Develop Compute-based Educational Game
How can game designers realize the balance of “educational function” and “entertainment” in a Computer-based Educational Game (CEG)? The concept of IMS learning design (LD...
Miaomiao Zeng, Yueliang Zhou
124
Voted
ICCAD
2001
IEEE
153views Hardware» more  ICCAD 2001»
16 years 25 days ago
The Sizing Rules Method for Analog Integrated Circuit Design
This paper presents the sizing rules method for analog CMOS circuit design that consists of: first, the development of a hierarchical library of transistor pair groups as basic b...
Helmut E. Graeb, Stephan Zizala, Josef Eckmueller,...