Sciweavers

5664 search results - page 737 / 1133
» Creativity support tools
Sort
View
DKE
2007
115views more  DKE 2007»
15 years 6 months ago
Business process management: Where business processes and web services meet
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
Wil M. P. van der Aalst, Boualem Benatallah, Fabio...
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
173
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