8180 search results - page 1550 / 1636 » On the Use of Performance Models to Design Self-Managing Com... |
FORMATS
2009
Springer
14 years 26 days ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
UIC
2010
Springer
13 years 7 months ago
2010
Springer
Traveling to unfamiliar regions require a significant effort from novice travelers to plan where to go within a limited duration. In this paper, we propose a smart recommendation...
Publication
The tremendous increase in the use of cellular phones, GPS-like devices, and RFIDs results in highly dynamic environments where objects as well as queries are continuously moving. ...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
In this paper we discuss an algorithm that is able to provide a scalable (multiresolution) representation of the motion field information. It has been recently demonstrated that, ...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
aAQUA is an online multilingual, multimedia Agricultural portal for disseminating information from and to rural communities. It answers farmers' queries based on the location...