Sciweavers

27692 search results - page 94 / 5539
» Where is ...
Sort
View
ER
2003
Springer
119views Database» more  ER 2003»
14 years 2 months ago
Toward the Automatic Derivation of XML Transformations
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...
Martin Erwig
EUSAI
2003
Springer
14 years 2 months ago
Multi-sensor Activity Context Detection for Wearable Computing
For wearable computing applications, human activity is a central part of the user’s context. In order to avoid user annoyance it should be acquired automatically using body-worn ...
Nicky Kern, Bernt Schiele, Albrecht Schmidt
FOSSACS
2003
Springer
14 years 2 months ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen
CDC
2009
IEEE
111views Control Systems» more  CDC 2009»
14 years 1 months ago
An optimal investment problem with randomly terminating income
Abstract— We investigate an optimal consumption and investment problem where we receive a certain fixed income stream that is terminated at a random time. It turns out that the ...
Michel H. Vellekoop, Mark Davis
ASIACRYPT
2001
Springer
14 years 1 months ago
On the Insecurity of a Server-Aided RSA Protocol
Abstract. At Crypto ’88, Matsumoto, Kato and Imai proposed a protocol, known as RSA-S1, in which a smart card computes an RSA signature, with the help of an untrusted powerful se...
Phong Q. Nguyen, Igor Shparlinski