902 search results - page 62 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
110
click to vote
AGENTCL
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
111
Voted
ESORICS
2004
Springer
15 years 6 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
78
Voted
SAFECOMP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
115
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing per...
91
Voted
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...