12774 search results - page 365 / 2555 » A Framework for Proof Systems |
196
Voted
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
143
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions. Cate...
174
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Personal health records (PHR) is a technology for managing the information playing field in healthcare. With multiple vendors competing on this relatively new market, an evaluatio...
203
click to vote
ICNS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...
185
click to vote
ESCIENCE
2006
IEEE
16 years 28 days ago
2006
IEEE
Modern scientific experiments can generate large amounts of data, which may be replicated and distributed across multiple resources to improve application performance and fault to...