2529 search results - page 145 / 506 » The Logical Structure of Binding |
159
click to vote
EUROPKI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
185
click to vote
MPC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
165
click to vote
INFOCOM
1995
IEEE
15 years 10 months ago
1995
IEEE
Message-based process architectures are widely regarded as an effective method for structuring parallel protocol processing on shared memory multi-processor platforms. A message-b...
211
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
Large collections of photographs are commonplace, and many interfaces for viewing, sorting and organizing them have been proposed. This work describes the design and implementatio...
168
click to vote
FMOODS
2007
15 years 8 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...