14331 search results - page 9 / 2867 » On the modeling and analysis of obligations |
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
Privacy is an increasing concern in the marketplace. Although enterprises promise sound privacy practices to their customers, there is no technical mechanism to enforce them inter...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
IFM
2010
Springer
14 years 10 months ago
2010
Springer
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
103
click to vote
RIDE
1999
IEEE
15 years 3 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
80
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...