1777 search results - page 134 / 356 » Programming Cryptographic Protocols |
123
click to vote
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...
104
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
133
click to vote
ASIACRYPT
2010
Springer
14 years 11 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
114
click to vote
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...