1380 search results - page 71 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
NFM
2011
13 years 4 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
AGENTCL
2003
Springer
14 years 2 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...
ESORICS
2004
Springer
14 years 2 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...
SAFECOMP
2005
Springer
14 years 2 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...
CIKM
2008
Springer
13 years 11 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...