Sciweavers

14824 search results - page 134 / 2965
» Security - Introduction
Sort
View
ESORICS
2000
Springer
15 years 6 months ago
Formal Verification of Cardholder Registration in SET
Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...
87
Voted
AGENTS
1997
Springer
15 years 6 months ago
Basic Agents for Visual/Motor Coordination of a Mobile Robot
Maria C. García-Alegre, Felicidad Recio
OOPSLA
2000
Springer
15 years 6 months ago
Formal specification of CORBA services: experience and lessons learned
Rémi Bastide, Philippe A. Palanque, Ousmane...
69
Voted
OOPSLA
2000
Springer
15 years 6 months ago
Object-oriented real-time concurrency
Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jio...
OOPSLA
2000
Springer
15 years 6 months ago
MultiJava: modular open classes and symmetric multiple dispatch for Java
Curtis Clifton, Gary T. Leavens, Craig Chambers, T...