Sciweavers

1729 search results - page 250 / 346
» Generic Haskell: Applications
Sort
View
ASIACRYPT
2008
Springer
14 years 3 days ago
A Modular Security Analysis of the TLS Handshake Protocol
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
ATAL
2006
Springer
14 years 2 days ago
SAgent: a security framework for JADE
This paper presents SAgent, a general-purpose mobile agent security framework that is designed to protect the computations of mobile agent applications in potentially hostile envi...
Vandana Gunupudi, Stephen R. Tate
GIS
2007
ACM
14 years 11 months ago
A model for enriching trajectories with semantic geographical information
The collection of moving object data is becoming more and more common, and therefore there is an increasing need for the efficient analysis and knowledge extraction of these data ...
Alejandro A. Vaisman, Bart Kuijpers, Bart Moelans,...
ICVS
2001
Springer
14 years 2 months ago
A Modular Software Architecture for Real-Time Video Processing
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
Alexandre R. J. François, Gérard G. ...
HIM
1997
Springer
144views Multimedia» more  HIM 1997»
14 years 2 months ago
DIANE - Hypermedia Documents in a Distributed Annotation Environment
The project DIANE is an EU-funded project in the ACTS Program and started in September 1995. The goal of DIANE is to establish a service, which enables an user to annotate anythin...
Hartmut Benz, Steffen Fischer, Rolf Mecklenburg, G...