Sciweavers

4636 search results - page 627 / 928
» Modelling and Validation with VipTool
Sort
View
WETICE
2003
IEEE
16 years 1 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...
150
Voted
CRYPTO
2003
Springer
101views Cryptology» more  CRYPTO 2003»
16 years 6 hour 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»
15 years 12 months 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...
IDEAL
2003
Springer
15 years 12 months 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
HAPTICS
2010
IEEE
15 years 12 months 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...