1312 search results - page 64 / 263 » Embedded contract languages |
EDOC
2002
IEEE
15 years 4 months ago
2002
IEEE
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
RULEML
2010
Springer
14 years 10 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
115
click to vote
JTRES
2010
ACM
15 years 2 days ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
ICAIL
2005
ACM
15 years 5 months ago
2005
ACM
Quotation and subsequent disquotation of propositional content sentences has been proposed for, and has some attractive features for, representing content sentences embedded in co...