Sciweavers

3710 search results - page 259 / 742
» A new calculus of contexts
Sort
View
LCN
2006
IEEE
16 years 1 months ago
Data Aggregation System for Distributing Inter-Vehicle Warning Messages
The use of ad hoc networking technology in the automotive environment enables new promising services, mainly providing information to the driver increasing vehicle safety. This wi...
Stephan Eichler, Christian Merkle, Markus Strassbe...
TIME
2006
IEEE
16 years 1 months ago
k-Anonymity in Databases with Timestamped Data
In this paper we extend the notion of k-anonymity in the context of databases with timestamped information in order to naturally define k-anonymous views of temporal data. We als...
Sergio Mascetti, Claudio Bettini, Xiaoyang Sean Wa...
HASKELL
2006
ACM
16 years 1 months ago
Introducing the Haskell equational reasoning assistant
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
Andy Gill
ADAEUROPE
2005
Springer
16 years 29 days ago
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle
Teleoperated robots are used to perform hazardous tasks that human operators cannot carry out. The purpose of this paper is to present a new architecture (ACROSET) for the developm...
Francisco J. Ortiz, Diego Alonso, Bárbara &...
ICCBSS
2005
Springer
16 years 28 days ago
On Goal-Oriented COTS Taxonomies Construction
This paper proposes the adoption of a goal-based method called GBRAM for facilitating the process of building taxonomies of COTS components. Since GBRAM was defined in a different ...
Claudia P. Ayala, Pere Botella, Xavier Franch