3546 search results - page 586 / 710 » A Causal Logic of Logic Programming |
103
click to vote
CSSE
2002
IEEE
15 years 1 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
140
click to vote
TCS
1998
15 years 1 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
103
click to vote
TEC
2002
15 years 1 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
107
click to vote
TPLP
2002
15 years 29 days ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
154
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...