10 search results - page 1 / 2 » Dealing with contract violations: formalism and domain speci... |
EDOC
2005
IEEE
13 years 10 months ago
2005
IEEE
WWW
2003
ACM
14 years 5 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
ENTCS
2010
13 years 2 months ago
2010
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
UML
1998
Springer
13 years 9 months ago
1998
Springer
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
IJAR
2008
13 years 4 months ago
2008
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...