Sciweavers

1829 search results - page 181 / 366
» aims 2008
Sort
View
ENGL
2008
110views more  ENGL 2008»
15 years 6 months ago
Tactile Sensing-Based Control Architecture in Multi-Fingered Arm for Object Manipulation
This report presents the development of tactile sensing-based control architecture in a multi-fingered humanoid robot arm for object manipulation tasks. With the aim to enhance the...
Hanafiah B. Yussof, Masahiro Ohka, Hirofumi Suzuki...
ENTCS
2008
130views more  ENTCS 2008»
15 years 6 months ago
The SPARTA Pseudonym and Authorization System
This paper deals with privacy-preserving (pseudonymized) access to a service resource. In such a scenario, two opposite needs seem to emerge. On one side, the service provider may...
Giuseppe Bianchi, M. Bonola, Vincenzo Falletta, Fr...
ENTCS
2008
87views more  ENTCS 2008»
15 years 6 months ago
Remote Attestation on Legacy Operating Systems With Trusted Platform Modules
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...
Dries Schellekens, Brecht Wyseur, Bart Preneel
ENTCS
2008
70views more  ENTCS 2008»
15 years 6 months ago
Separate Compilation of Polychronous Specifications
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard,...
ENTCS
2008
118views more  ENTCS 2008»
15 years 6 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Fabrício Fernandes, Jean-Claude Royer