Alles van: S. Etalle
Resultaat 1 - 18 (van 18)
D. Bolzoni | S. Etalle APHRODITE: an anomally-based architecture for false positive reduction
Non-fictie
Engels | 20 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2006
Gedrukt boek
M.A.C. Dekker | S. Etalle | J.I. den Hartog Privacy in an ambient world
Non-fictie
Engels | 15 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2006
Gedrukt boek
S. Etalle | W.H. Winsborough Integrity constraints in trust management
Non-fictie
Engels | 17 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
R. Corin | S. Etalle A simple procedure for finding guessing attacks
Non-fictie
Engels | 8 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
C.N. Chong | S. Etalle | Pieter H. Hartel Comparing logic-based and XML-based rights expression languages
Non-fictie
Engels | 40 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek
R. Corin | J. Doumen | S. Etalle Analysing password protocol security against off-line dictionary attacks
Non-fictie
Engels | 19 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek
R. Corin | S. Etalle An improved constraint-based system for the verification of security protocols
Non-fictie
Engels | 18 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek
Y.W. Law | S. Etalle | Pieter H. Hartel Key management with group-wise pre-deployed keying and secret sharing pre-dep[lo]yed keying
Non-fictie
Engels | 2 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek
S. Etalle | Jon Mountjoy The (lazy) functional side of logic programming
Non-fictie
Engels | Universiteit Maastricht, Department of Computer Science, Maastricht | 2000
Gedrukt boek
A. Bossi | S. Etalle | S. Rossi Semantics of input-consuming programs
Non-fictie
Engels | Universiteit Maastricht, Department of Computer Science, Maastricht | 2000
Gedrukt boek
A. Bossi | S. Etalle | S. Rossi Properties of input-consuming derivations
Non-fictie
Engels | Universiteit Maastricht, Department of Computer Science, Maastricht | 1999
Gedrukt boek
S. Etalle Transformation and analysis of (constraint) logic programs
Non-fictie
Engels | 199 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1995
Gedrukt boek
S. Etalle | M. Gabbrielli Transformations of CLP modules
Non-fictie
Engels | 34 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
S. Etalle More (on) unification-free Prolog programs
Non-fictie
Engels | 36 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
A. Bossi | S. Etalle More on unfold/fold transformations of normal programs: preservation of fitting's semantics
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
A. Bossi | S. Etalle Transforming acyclic programs
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
K.R. Apt | S. Etalle On the unification free Prolog programs
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
A. Bossi | N. Cocco | S. Etalle Simultaneous replacement in normal programs
Non-fictie
Engels | 34 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek