Sciweavers

4636 search results - page 627 / 928
» Modelling and Validation with VipTool
Sort
View
WETICE
2003
IEEE
16 years 21 days ago
Automatic synthesis of coordinators for COTS group-ware applications: an example
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
Paola Inverardi, Massimo Tivoli, Antonio Bucchiaro...
161
Voted
CRYPTO
2003
Springer
101views Cryptology» more  CRYPTO 2003»
16 years 20 days ago
The Impact of Decryption Failures on the Security of NTRU Encryption
NTRUEncrypt is unusual among public-key cryptosystems in that, with standard parameters, validly generated ciphertexts can fail to decrypt. This affects the provable security prop...
Nick Howgrave-Graham, Phong Q. Nguyen, David Point...
GW
2003
Springer
87views Biometrics» more  GW 2003»
16 years 19 days ago
Recognition of Musical Gestures in Known Pieces and in Improvisations
Abstract. Understanding the content in musical gestures is an ambitious issue in scientific environment. Several studies demonstrated how different expressive intentions can be c...
Damien Cirotteau, Giovanni De Poli, Luca Mion, Alv...
206
Voted
IDEAL
2003
Springer
16 years 19 days ago
A Multi-agent System for Emergency Decision Support
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
Martín Molina, Gemma Blasco
177
Voted
HAPTICS
2010
IEEE
16 years 16 days ago
Preliminary Evaluation of a Haptic Aiding Concept for Remotely Piloted Vehicles
This paper shows a preliminary experimental evaluation of a novel haptic aiding for Remotely Piloted Vehicles. The aerodynamically-inspired haptic feedback law was named Convention...
Samantha M. C. Alaimo, Lorenzo Pollini, Alfredo Ma...