Sciweavers

8810 search results - page 407 / 1762
» Openness
Sort
View
166
Voted
FOSAD
2005
Springer
16 years 8 days ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay
ICADL
2005
Springer
108views Education» more  ICADL 2005»
16 years 8 days ago
Harvesting for Full-Text Retrieval
Abstract. We propose an approach to Distributed Information Retrieval based on the periodic and incremental centralisation of full-text indices of widely dispersed and autonomously...
Fabio Simeoni, Murat Yakici, Steve Neely, Fabio Cr...
ICCS
2005
Springer
16 years 7 days ago
ACCESS: An Agent Based Architecture for the Rapid Prototyping of Location Aware Services
We describe the Agents Channelling ContExt Sensitive Services (ACCESS) architecture, an open agent-based architecture that supports the development and deployment of multiple heter...
Robin Strahan, Gregory M. P. O'Hare, Conor Muldoon...
OTM
2005
Springer
16 years 7 days ago
Evaluation of Three Approaches for CORBA Firewall/NAT Traversal
Applications that use CORBA as communication layer often have some restrictions for multi-domain deployment. This is particularly true when they have to face firewall/NAT traversa...
Antonio Theophilo Costa, Markus Endler, Renato Cer...
PROMAS
2005
Springer
16 years 7 days ago
Agent-Based Computing and Programming of Agent Systems
The concepts of autonomous agent and multi-agent system appropriate levels of abstraction for the design, implementation and simulation of many complex, distributed computational s...
Michael Luck, Peter McBurney, Jorge Gonzalez-Palac...