Sciweavers

1669 search results - page 152 / 334
» Structured Specification of Model Interpreters
Sort
View
165
Voted
EMSOFT
2003
Springer
15 years 9 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
146
Voted
ISEM
2006
90views more  ISEM 2006»
15 years 3 months ago
Using GXL for exchanging business process models
Abstract The GXL Graph eXchange Language is an XML-based standard exchange language for sharing graph data between tools. GXL can be customized to exchange application specific typ...
Andreas Winter, Carlo Simon
113
Voted
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 8 months ago
Modeling of Needle Insertion Forces for Robot-Assisted Percutaneous Therapy
Force information from needle insertions was measured and modeled for use in robot-assisted percutaneous therapies. Data was collected on bovine livers using the Johns Hopkins Uni...
Christina Simone, Allison M. Okamura
117
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
Model-Driven Development of Recursive CORBA Component Assemblies
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
Gernot Schmoelzer, Egon Teiniker, Stefan Mitterdor...
132
Voted
WSC
2007
15 years 6 months ago
Representation and simulation of stochastic petrinet models using xPNML
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee