811 search results - page 42 / 163 » Integrating Formal Description Techniques |
INCDM
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we introduce an integration study which combines Data Mining (DM) and Agent Based Modeling and Simulation (ABMS). This study, as a new paradigm for DM/ABMS, is conce...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
FDL
2003
IEEE
14 years 2 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
ERCIMDL
2006
Springer
14 years 12 days ago
2006
Springer
In this demo proposal, we describe our prototype application, SIERRA, which combines text-based and content-based image retrieval and allows users to link together image content of...