902 search results - page 48 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
110
click to vote
ENTCS
2010
15 years 19 days ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
104
click to vote
MLG
2007
Springer
15 years 6 months ago
2007
Springer
: Network topology not only tells about tightly-connected “communities,” but also gives cues on more subtle properties of the vertices. We introduce a simple probabilistic late...
199
click to vote
POPL
2002
ACM
16 years 26 days ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
118
click to vote
AAAI
2007
15 years 2 months ago
2007
How should a robot represent and reason about spatial information when it needs to collaborate effectively with a human? The form of spatial representation that is useful for robo...
122
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...