3381 search results - page 68 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
145
click to vote
ICALT
2005
IEEE
15 years 11 months ago
2005
IEEE
Based on the overall aims of the AdeLE (Adaptive e-Learning with Eye-Tracking) project, and in particular motivated by the decision of using a strictly separated system’s archit...
211
click to vote
SDL
2007
15 years 7 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
196
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
160
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes the application of an arti cial immune system, AIS , model to a scheduling application, in which sudden changes in the scheduling environment require the rap...
207
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper proposes an hybrid approach to estimate the 3D pose of an object. The integration of texture information based on image intensities in a more classical non-linear edge-...