89 search results - page 12 / 18 » Declarative Specifications of Complex Transactions |
FUIN
2010
13 years 5 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
SIGDOC
2004
ACM
14 years 1 months ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
KBSE
1998
IEEE
14 years 23 days ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
EUROPLOP
2006
13 years 10 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...