Sciweavers

493 search results - page 17 / 99
» Strategies and simulations in a semantic framework
Sort
View
IJRR
2000
107views more  IJRR 2000»
14 years 9 months ago
Dynamics Simulation and Controller Interfacing for Legged Robots
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
Jesse A. Reichler, Fred Delcomyn
APN
2001
Springer
15 years 2 months ago
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Mark-Oliver Stehr, José Meseguer, Peter Csa...
DEXAW
2006
IEEE
133views Database» more  DEXAW 2006»
15 years 3 months ago
A High-Level Architecture of a Metadata-based Ontology Matching Framework
One of the pre-requisites for the realization of the Semantic Web vision are matching techniques which are capable of handling the open, dynamic and heterogeneous nature of the se...
Malgorzata Mochol, Elena Paslaru Bontas Simperl
UML
2005
Springer
15 years 3 months ago
Modeling Aspect-Oriented Compositions
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
SIGMETRICS
2010
ACM
181views Hardware» more  SIGMETRICS 2010»
14 years 10 months ago
A unified modeling framework for distributed resource allocation of general fork and join processing networks
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...
Haiquan (Chuck) Zhao, Cathy H. Xia, Zhen Liu, Dona...