2957 search results - page 209 / 592 » Processing Self Corrections |
PDP
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper shows a new distributed algorithm for deadlock detection and resolution under the single-resource request model that highly improves the complexity measurements of prev...
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
WACV
2005
IEEE
14 years 3 months ago
2005
IEEE
A global parametric shape model (boundary) of the object is optimized according to evidence accumulated from local features and the prior probability of the model parameters learn...
MOBIDE
2005
ACM
14 years 3 months ago
2005
ACM
This work addresses the problem of efficient maintenance of the (correct) answers to the continuous spatio-temporal range queries in Moving Objects Databases (MOD), which represen...
COORDINATION
2005
Springer
14 years 3 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...