Sciweavers

616 search results - page 70 / 124
» Decoding One Out of Many
Sort
View
FM
1991
Springer
164views Formal Methods» more  FM 1991»
14 years 2 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
AMI
2008
Springer
14 years 26 days ago
Rich Tactile Output on Mobile Devices
In this paper we assess the potential of rich tactile notifications on mobile phones. Many mobile phone users use vibration output for various types of notification on their phone....
Alireza Sahami Shirazi, Paul Holleis, Albrecht Sch...
ASIACRYPT
2008
Springer
14 years 26 days ago
Limits of Constructive Security Proofs
The collision-resistance of hash functions is an important foundation of many cryptographic protocols. Formally, collision-resistance can only be expected if the hash function in f...
Michael Backes, Dominique Unruh
CAISE
2008
Springer
14 years 25 days ago
An Hybrid Design Solution For Spacecraft Simulators
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
Vitor Rodrigues, João Correia Lopes, Ana Mo...
CIKM
2008
Springer
14 years 25 days ago
Suppressing outliers in pairwise preference ranking
Many of the recently proposed algorithms for learning feature-based ranking functions are based on the pairwise preference framework, in which instead of taking documents in isola...
Vitor R. Carvalho, Jonathan L. Elsas, William W. C...