2557 search results - page 400 / 512 » Goal-Based Modeling of Dynamically Adaptive System Requireme... |
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a novel approach to predict the Internet end-to-end delay using multiple-model (MM) methods. The basic idea of the MM method is to assume the system dynamics c...
EMSOFT
2001
Springer
14 years 12 days ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
FLAIRS
2001
13 years 9 months ago
2001
To successfully interact with users in providing useful information, intelligent user interfaces need a mechanism for recognizing, characterizing, and predicting user actions. In ...
RAS
2006
13 years 7 months ago
2006
Mobile robots must cope with uncertainty from many sources along the path from interpreting raw sensor inputs to behavior selection to execution of the resulting primitive actions...