284 search results - page 38 / 57 » Modularity of Completeness Revisited |
LOPSTR
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
MOBICOM
1997
ACM
14 years 2 months ago
1997
ACM
: This paper describes a protection scheme for mobile agents implemented on a Java environment. In this scheme, access to objects is controlled by means of software capabilities th...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
DSVIS
2008
Springer
13 years 11 months ago
2008
Springer
Graphical rendering must be fast enough so as to avoid hindering the user perception/action loop. Traditionally, programmers interleave descriptions and optimizations to achieve su...
FM
2008
Springer
13 years 11 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...