2162 search results - page 153 / 433 » A Meta-Notation for Protocol Analysis |
169
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
164
click to vote
LOPSTR
2001
Springer
15 years 9 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...
152
Voted
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper studies the case where multiple IP flows are aggregated over a single satellite channel and an error recovery by retransmissions is performed by SelectiveRepeat (SR...
150
Voted
IPPS
2003
IEEE
15 years 10 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
Voted
ICDAR
2009
IEEE
16 years 3 days ago
2009
IEEE
We report on the creation of a database composed of images of Arabic Printed words. The purpose of this database is the large-scale benchmarking of openvocabulary, multi-font, mul...