107 search results - page 20 / 22 » Security in a Model for Long-running Transactions |
CCR
2002
13 years 7 months ago
2002
Economic principles are increasingly being suggested for addressing some complex issues related to distributed resource allocation for QoS (Quality of Service) enhancement. Many p...
JAMIA
2010
13 years 2 months ago
2010
Mayo Clinic's Enterprise Data Trust is a collection of data from patient care, education, research, and administrative transactional systems, organized to support information...
SPW
2004
Springer
14 years 22 days ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
In this paper, we tackle challenges in migrating enterprise services into hybrid cloud-based deployments, where enterprise operations are partly hosted on-premise and partly in th...
FM
2005
Springer
14 years 28 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...