Sciweavers

11588 search results - page 189 / 2318
» Will They Like This
Sort
View
CSFW
2005
IEEE
14 years 4 months ago
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
Michael Backes, Markus Dürmuth
EEE
2005
IEEE
14 years 4 months ago
SLA Representation, Management and Enforcement
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
Adrian Paschke, Martin Bichler
HICSS
2005
IEEE
130views Biometrics» more  HICSS 2005»
14 years 4 months ago
Applying XML Web Services into Health Care Management
As Japan has become one of the fastest-aging societies in the world, it is important to improve the quality of our health maintenance management and preventive medical care to ext...
Mayumi Hori, Masakazu Ohashi
HICSS
2005
IEEE
133views Biometrics» more  HICSS 2005»
14 years 4 months ago
Who Joins the Platform? The Case of the RFID Business Ecosystem
Today, many knowledge-based technology applications form a business ecosystem: a set of complex products and services made by multiple firms in which no firm is dominant. For this...
Anne Quaadgras
HPDC
2005
IEEE
14 years 4 months ago
Increasing application performance in virtual environments through run-time inference and adaptation
Virtual machine distributed computing greatly simplifies the use of widespread computing resources by lowering the abstraction, benefiting both resource providers and users. Tow...
Ananth I. Sundararaj, Ashish Gupta, Peter A. Dinda