Sciweavers

10809 search results - page 1872 / 2162
» Location Based Services
Sort
View
BPM
2009
Springer
146views Business» more  BPM 2009»
16 years 2 months ago
Instantaneous Soundness Checking of Industrial Business Process Models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
Dirk Fahland, Cédric Favre, Barbara Jobstma...
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
16 years 2 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
CIKM
2009
Springer
16 years 2 months ago
Automobile, car and BMW: horizontal and hierarchical approach in social tagging systems
Social tagging systems have recently emerged as an effective way for users to annotate and organize large collections of resources on the Web. Moreover, they also facilitate an e...
Tom Chao Zhou, Irwin King
EPEW
2009
Springer
16 years 2 months ago
Performance of Auctions and Sealed Bids
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
Erol Gelenbe, László Györfi
ESTIMEDIA
2009
Springer
16 years 2 months ago
The wizard of OS: a heartbeat for Legacy multimedia applications
—Multimedia applications are often characterised by implicit temporal constraints but, in many cases, they are not programmed using any specialised real-time API. These “Legacy...
Tommaso Cucinotta, Luca Abeni, Luigi Palopoli, Fab...
« Prev « First page 1872 / 2162 Last » Next »