1005 search results - page 7 / 201 » Patterns for Refinement Automation |
FLOPS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
EDCC
2008
Springer
13 years 9 months ago
2008
Springer
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...
PLILP
1990
Springer
13 years 11 months ago
1990
Springer
CL
2004
Springer
13 years 7 months ago
2004
Springer
IEEEARES
2010
IEEE
13 years 11 months ago
2010
IEEE
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...