Sciweavers

2050 search results - page 174 / 410
» A formal foundation for process modeling
Sort
View
COLING
2000
15 years 8 months ago
A Statistical Theory of Dependency Syntax
A generative statistical model of dependency syntax is proposed based on 'l'csniSre's classical theory. It provides a stochastic formalization of the original model...
Christer Samuelsson
VAMOS
2010
Springer
15 years 8 months ago
Variability Modelling for Model-Driven Development of Software Product Lines
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
Ina Schaefer
ICRA
1998
IEEE
112views Robotics» more  ICRA 1998»
15 years 10 months ago
Model-Based Car Tracking Integrated with a Road-Follower
This paper discusses how we integrated our 3D car tracking approach with the lane following module RALPH on the Navlab autonomous vehicles, obtaining a hybrid vision system that t...
Frank Dellaert, Dean Pomerleau, Charles E. Thorpe
IFM
2009
Springer
16 years 1 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
UML
2005
Springer
16 years 20 hour ago
Ontology-Based Model Transformation
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
Stephan Roser, Bernhard Bauer