592 search results - page 27 / 119 » Refining Goal Models by Evaluating System Behaviour |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
JCNS
2006
14 years 11 months ago
2006
"Equation-free modelling" is a recently-developed technique for bridging the gap between detailed, microscopic descriptions of systems and macroscopic descriptions of the...
MODELLIERUNG
2008
15 years 1 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
CHI
2009
ACM
16 years 12 days ago
2009
ACM
This paper describes a pilot study of a computer simulation called WIIS, which is designed to extend students' learning experience of the sizes of the objects beyond human vi...
ICCV
2005
IEEE
15 years 5 months ago
2005
IEEE
Our goal is to detect and track moving vehicles on a road observed from cameras placed on poles or buildings. Inter-vehicle occlusion is significant under these conditions and tra...