1120 search results - page 172 / 224 » A Formal Framework for Interactive Agents |
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
169
click to vote
SYNASC
2008
IEEE
15 years 4 months ago
2008
IEEE
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
ARTS
1999
Springer
15 years 2 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
ANSOFT
1999
14 years 9 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...