902 search results - page 102 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
156
click to vote
IFIP
1989
Springer
15 years 10 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
178
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
174
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe an application based on a general approach towards modelling practical reasoning through defeasible argumentation. The purpose of the paper is to show how...
156
click to vote
ISPW
2005
IEEE
15 years 12 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
142
click to vote
OOPSLA
2009
Springer
16 years 25 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...