902 search results - page 15 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
111
Voted
IADIS
2004
15 years 1 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
106
Voted
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
98
Voted
IFIPTM
2010
14 years 11 months ago
2010
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...