Sciweavers

577 search results - page 44 / 116
» Budget Feasible Mechanisms
Sort
View
RTAS
2008
IEEE
15 years 6 months ago
Real-Time Distributed Discrete-Event Execution with Fault Tolerance
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
Thomas Huining Feng, Edward A. Lee
IROS
2007
IEEE
141views Robotics» more  IROS 2007»
15 years 6 months ago
LIVS: Local Interaction via Virtual Stigmergy coordination in distributed search and collective cleanup
Abstract— Distributed coordination is critical for a multirobot system in hazardous waste cleanup under a dynamic environment. To achieve higher efficiency as well as robustness,...
Yan Meng, Jing Gan
KIVS
2007
Springer
15 years 6 months ago
A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA)
Abstract Most SSL/TLS-based e-commerce applications employ conventional mechanisms for user authentication. These mechanisms—if decoupled from SSL/TLS session establishment—are...
Rolf Oppliger, Ralf Hauser, David A. Basin, Aldo R...
ICADL
2005
Springer
91views Education» more  ICADL 2005»
15 years 5 months ago
Image Classification for Digital Archive Management
As tools and systems for producing and disseminating image data have improved significantly in recent years, the volume of digital images has grown rapidly. An efficient mechanism ...
Cheng-Hung Li, Chih-Yi Chiu, Hsiang-An Wang
HPDC
2002
IEEE
15 years 4 months ago
A Secure Distributed Search System
This paper presents the design, implementationand evaluation of Mingle, a secure distributed search system. Each participatinghost runs a Mingle server, which maintains an inverte...
Yinglian Xie, David R. O'Hallaron, Michael K. Reit...