354 search results - page 35 / 71 » On Obligations |
ECOOPWEXCEPTION
2006
Springer
14 years 1 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
ESAW
2006
Springer
14 years 1 months ago
2006
Springer
The use of norms is a well-known technique of co-ordination in multi-agent systems (MAS) adopted from human societies. A normative position is the "social burden" associa...
ICFEM
2000
Springer
14 years 1 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
WSC
2007
14 years 6 days ago
2007
Portfolio credit derivatives that depend on default correlation are increasingly widespread in the credit market. Valuing such products often entails Monte Carlo simulation. Howev...
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...