253 search results - page 37 / 51 » Behavioural Types and Component Adaptation |
ATC
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
ACSD
2001
IEEE
14 years 2 days ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
EUSFLAT
2001
13 years 9 months ago
2001
Standard financial techniques neglect extreme situations and regards large market shifts as too unlikely to matter. Such approach accounts for what occurs most of the time in the ...
IJAIT
2002
13 years 8 months ago
2002
Several real world applications involve solving combinatorial optimization problems. Commonly, existing heuristic approaches are designed to address specific difficulties of the u...
RAS
2010
13 years 6 months ago
2010
In this paper we extend the control methodology based on Extended Markov Tracking (EMT) by providing the control algorithm with capabilities to calibrate and even partially recons...