14331 search results - page 8 / 2867 » On the modeling and analysis of obligations |
SIGDOC
2003
ACM
15 years 4 months ago
2003
ACM
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...
CAISE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
103
Voted
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
BPM
2008
Springer
15 years 1 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
80
Voted
DALT
2006
Springer
15 years 3 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...