237 search results - page 8 / 48 » Gaia Agents Implementation through Models Transformation |
101
click to vote
ICALT
2010
IEEE
14 years 9 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
113
click to vote
ICPR
2006
IEEE
16 years 24 days ago
2006
IEEE
For document images captured by a digital camera, perspective and geometric distortions make it hard to recognize the document content properly. In this paper, we propose an integ...
ISW
2005
Springer
15 years 5 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...
110
click to vote
ICCBSS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...