Sciweavers

1703 search results - page 162 / 341
» Model interoperability via Model Driven Development
Sort
View
143
Voted
FMSB
2008
142views Formal Methods» more  FMSB 2008»
15 years 6 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
139
Voted
TMRA
2007
Springer
15 years 11 months ago
Expressing Dublin Core in Topic Maps
The Dublin Core Metadata Initiative is an open organization engaged in the development of interoperable online metadata standards that support a broad range of purposes and busines...
Steve Pepper
ICML
2008
IEEE
16 years 5 months ago
The dynamic hierarchical Dirichlet process
The dynamic hierarchical Dirichlet process (dHDP) is developed to model the timeevolving statistical properties of sequential data sets. The data collected at any time point are r...
Lu Ren, David B. Dunson, Lawrence Carin
WSC
2000
15 years 6 months ago
Virtual machines for message based, real-time and interactive simulation
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...
Hansoo Kim, Chen Zhou, Hua X. Du
DAC
2007
ACM
15 years 9 months ago
Design for Verification in System-level Models and RTL
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
Anmol Mathur, Venkat Krishnaswamy