Sciweavers

506 search results - page 17 / 102
» A Model of Knower-Level Behavior in Number Concept Developme...
Sort
View
PADS
2009
ACM
14 years 2 months ago
An Approach for Validation of Semantic Composability in Simulation Models
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
Claudia Szabo, Yong Meng Teo
CAISE
2004
Springer
14 years 28 days ago
Achieving Enterprise Model Interoperability through the Model-Based Architecture Framework for Enterprises
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
Håvard D. Jørgensen, Oddrun Pauline O...
ICAS
2008
IEEE
201views Robotics» more  ICAS 2008»
14 years 2 months ago
Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
Stijn Verstichel, Matthias Strobbe, Pieter Simoens...
FTRTFT
1998
Springer
13 years 11 months ago
A Modular Visual Model for Hybrid Systems
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
Radu Grosu, Thomas Stauner, Manfred Broy
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
14 years 2 months ago
Using AADL to Model a Protocol Stack
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
Didier Delanote, Stefan Van Baelen, Wouter Joosen,...