4460 search results - page 185 / 892 » Formal methods for interactive systems |
252
click to vote
ECOWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
129
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Analyzing interaction networks for functional characterization poses significant challenges arising from the noisy, incomplete, and generic nature of both the interact...
141
click to vote
CMMR
2004
Springer
15 years 9 months ago
2004
Springer
I describe here a real-time vision-based gesture recognition system used in interactive computer music performances. The performer moves his hands in a video-camera capture area, t...
122
Voted
MASCOTS
2004
15 years 5 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
154
click to vote
WOA
2010
15 years 1 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....