14331 search results - page 326 / 2867 » On the modeling and analysis of obligations |
158
Voted
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Many research approaches in software engineering propose models or extensions to existing models. This includes system models, such as UML models, and project management artifacts,...
222
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
148
click to vote
ICIAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We address the validation of the current sensed environmental state against a model known from earlier perception. Our surface based approach compares 3D range data of a ...
160
click to vote
WSC
2007
15 years 9 months ago
2007
One of the most important but neglected aspects of a simulation study is the proper design and analysis of simulation experiments. In this tutorial we give a stateof-the-art prese...
221
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...