14331 search results - page 19 / 2867 » On the modeling and analysis of obligations |
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Various forms of agreements naturally arise in the service provider model as well as in multi-party computing models such as business-to-business, utility and grid computing. The r...
98
Voted
EDOC
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper introduces the Ponder language for specifying distributed object enterprise concepts. Ponder, is a declarative language, which permits the specification of policies in ...
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
101
click to vote
WSC
2007
15 years 2 months 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...
FPL
2008
Springer
15 years 1 months ago
2008
Springer
In recent years the financial world has seen an increasing demand for faster risk simulations, driven by growth in client portfolios. Traditionally many financial models employ Mo...