Search Sciweavers | Sciweavers

14824 search results - page 134 / 2965

» Security - Introduction

126

click to vote

ESORICS
2000
Springer

91views Security Privacy» more ESORICS 2000»

Formal Verification of Cardholder Registration in SET

15 years 10 months ago

Download www.cl.cam.ac.uk

Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...

claim paper

Read More »

121

click to vote

AGENTS
1997
Springer

101views Security Privacy» more AGENTS 1997»

Basic Agents for Visual/Motor Coordination of a Mobile Robot

15 years 10 months ago

Download sigart.acm.org

Maria C. García-Alegre, Felicidad Recio

claim paper

Read More »

135

click to vote

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

15 years 10 months ago

Download www.cin.ufpe.br

Rémi Bastide, Philippe A. Palanque, Ousmane...

claim paper

Read More »

102

click to vote

OOPSLA
2000
Springer

80views Security Privacy» more OOPSLA 2000»

Object-oriented real-time concurrency

15 years 10 months ago

Download www.student.cs.uwaterloo.ca

Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jio...

claim paper

Read More »

105

click to vote

OOPSLA
2000
Springer

76views Security Privacy» more OOPSLA 2000»

MultiJava: modular open classes and symmetric multiple dispatch for Java

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers