Sciweavers

1058 search results - page 186 / 212
» Fault-Tolerant Resource Reasoning
Sort
View
SAINT
2005
IEEE
15 years 3 months ago
Adaptive Semantic Support Provisioning in Mobile Internet Environments
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
Antonio Corradi, Rebecca Montanari, Alessandra Ton...
ESEM
2007
ACM
15 years 1 months ago
Value-Based Empirical Research Plan Evaluation
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...
Stefan Biffl, Dietmar Winkler
ICLP
2007
Springer
15 years 1 months ago
Web Sites Verification: An Abductive Logic Programming Tool
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
Paolo Mancarella, Giacomo Terreni, Francesca Toni
DAI
1995
Springer
15 years 1 months ago
A Formal View of Social Dependence Networks
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
Mark d'Inverno, Michael Luck
71
Voted
ECEH
2007
98views Healthcare» more  ECEH 2007»
14 years 11 months ago
Integrating Context Information in a Mobile Environment using the eSana Framework
: Mobile devices are becoming ubiquitous in everyday’s life, their popularity and place independence are reasons for using these devices in different areas. One such area is elec...
Marco Savini, Henrik Stormer, Andreas Meier