Sciweavers

4250 search results - page 694 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
203
Voted
ASWSD
2004
Springer
16 years 14 days ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi
EUROCRYPT
2004
Springer
16 years 13 days ago
Chosen-Ciphertext Security from Identity-Based Encryption
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
Ran Canetti, Shai Halevi, Jonathan Katz
ICRA
2003
IEEE
103views Robotics» more  ICRA 2003»
16 years 10 days ago
Automatic detection and response to environmental change
— Robots typically have many sensors which are underutilized. This is usually because no simple mathematical models of the sensors have been developed or the sensors are too nois...
Scott Lenser, Manuela M. Veloso
SI3D
2003
ACM
16 years 9 days ago
Interactive navigation in complex environments using path planning
We present a novel approach for interactive navigation in complex 3D synthetic environments using path planning. Our algorithm precomputes a global roadmap of the environment by u...
Brian Salomon, Maxim Garber, Ming C. Lin, Dinesh M...
APSEC
2002
IEEE
16 years 1 days ago
Quality Driven Transformation Compositions for Object Oriented Migration
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
Ying Zou, Kostas Kontogiannis