238 search results - page 19 / 48 » Integrating AADL within a Multi-domain Modeling Framework |
107
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
107
click to vote
EUROMED
2010
14 years 10 months ago
2010
Within the last few years generative modeling techniques have gained attention especially in the context of cultural heritage. As a generative model describes a rather ideal object...
104
click to vote
WSC
1997
1997
Interactive Strategies for Developing Intuitive Knowledge as Basis for Simulation Modeling Education
15 years 1 months ago
This paper investigates theoretically based instructional approaches for organizational training, education and knowledge acquisition for simulation modeling. It proposes differen...
ACMDIS
1997
ACM
15 years 3 months ago
1997
ACM
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...
109
click to vote
ER
2007
Springer
15 years 6 months ago
2007
Springer
XML Schema supports the specification of occurrence constraints by declaring values for its min/maxOccurs attributes. These constraints are structural in the sense that they rest...