5525 search results - page 956 / 1105 » Verification of Model Transformations |
123
click to vote
EICS
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
133
click to vote
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
A fast simulatedannealingalgorithmis developed for automatic object recognition. The object recognition problem is addressed as the problem of best describing a match between a hy...
139
click to vote
AAAI
2007
15 years 6 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
144
click to vote
DGO
2008
15 years 5 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
161
click to vote
EUMAS
2006
15 years 5 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...