Sciweavers

5434 search results - page 715 / 1087
» Tool support for MOLA
Sort
View
JSYML
2008
71views more  JSYML 2008»
15 years 6 months ago
Strictly positive measures on Boolean algebras
We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a ...
Mirna Dzamonja, Grzegorz Plebanek
172
Voted
ECCC
2007
185views more  ECCC 2007»
15 years 6 months ago
Trapdoors for Hard Lattices and New Cryptographic Constructions
We show how to construct a variety of “trapdoor” cryptographic tools assuming the worst-case hardness of standard lattice problems (such as approximating the length of the sho...
Craig Gentry, Chris Peikert, Vinod Vaikuntanathan
ELECTRONICMARKETS
2007
69views more  ELECTRONICMARKETS 2007»
15 years 6 months ago
Mobile Service Bundles: The Example of Navigation Services
In this paper we explore which bundles of services are attractive to users. We look specifically in bundle composition with navigation services as core, and travel and entertainme...
Harry Bouwman, Timber Haaker, Henny de Vos
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
PERVASIVE
2008
Springer
15 years 6 months ago
Rapid Prototyping of Activity Recognition Applications
The Context Recognition Network (CRN) Toolbox permits fast implementation of activity and context recognition systems. It utilizes parameterizable and reusable software components...
David Bannach, Oliver Amft, Paul Lukowicz