902 search results - page 56 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
122
click to vote
CLIMA
2009
14 years 10 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
90
Voted
MOBISYS
2010
ACM
15 years 2 months ago
2010
ACM
Most current methods for 802.11-based indoor localization depend on surveys conducted by experts or skilled technicians. Some recent systems have incorporated surveying by users. ...
111
click to vote
ENTCS
2006
15 years 18 days ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
125
click to vote
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-orient...
98
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...