2777 search results - page 211 / 556 » Example centric programming |
95
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
107
Voted
ICCD
1992
IEEE
15 years 5 months ago
1992
IEEE
Asynchronous or self-timed systems that do not rely on a global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in ...
98
Voted
AINA
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
102
Voted
CC
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
125
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...