1315 search results - page 247 / 263 » Towards Requirements Engineering for Context Adaptive System... |
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
100
click to vote
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
139
click to vote
MIDDLEWARE
2007
Springer
15 years 5 months ago
2007
Springer
Reflective middleware provides an effective way to support adaptation in distributed systems. However, as distributed systems become increasingly complex, certain drawbacks of the...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
103
click to vote
TASLP
2010
14 years 6 months ago
2010
This paper presents a framework for efficient HMM-based estimation of unreliable spectrographic speech data. It discusses the role of Hidden Markov Models (HMMs) during minimum mea...