Sciweavers

2142 search results - page 259 / 429
» An aspect-oriented approach for implementing evolutionary co...
Sort
View
SAC
2006
ACM
15 years 6 months ago
From spontaneous total order to uniform total order: different degrees of optimistic delivery
A total order protocol is a fundamental building block in the construction of distributed fault-tolerant applications. Unfortunately, the implementation of such a primitive can be...
Luís Rodrigues, José Mocito, Nuno Ca...
CMOT
2011
14 years 10 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur
HYBRID
2011
Springer
14 years 6 months ago
Resource constrained LQR control under fast sampling
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...
Jerome Le Ny, Eric Feron, George J. Pappas
TSE
2012
13 years 8 months ago
Automated Abstractions for Contract Validation
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
Guido de Caso, Víctor A. Braberman, Diego G...
ICPR
2002
IEEE
16 years 7 months ago
Comparison of Colour Spaces for Optic Disc Localisation in Retinal Images
The location of the optic disc is of critical importance in retinal image analysis. In this work we improve on an approach introduced in [3] who localised an optic disc region thr...
Alireza Osareh, Majid Mirmehdi, Barry T. Thomas, R...