2162 search results - page 153 / 433 » A Meta-Notation for Protocol Analysis |
IAT
2008
IEEE
14 years 4 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...
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...
GLOBECOM
2006
IEEE
14 years 4 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...
IPPS
2003
IEEE
14 years 3 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...
ICDAR
2009
IEEE
14 years 4 months 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...