367 search results - page 39 / 74 » A Comprehensive Context Modeling Framework for Pervasive Com... |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
IJNSEC
2007
13 years 7 months ago
2007
In order to maximize resource utilization as well as providing trust management in P2P computing environments, we propose a novel framework - Trust-Incentive Service Management (T...
MHCI
2009
Springer
14 years 2 months ago
2009
Springer
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...
AINA
2006
IEEE
13 years 11 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
JLP
2006
13 years 8 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...