1104 search results - page 23 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
UML
2004
Springer
14 years 2 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
SEMWEB
2010
Springer
2010
Springer
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
13 years 3 months ago
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
EUC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Most of the new embedded systems require high performance processors at low power. To cater to these needs, most semiconductor companies are designing multi-core processo...
EPEW
2007
Springer
14 years 2 months ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
FDL
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...