3513 search results - page 596 / 703 » Super Logic Programs |
103
click to vote
JDS
2007
15 years 14 days ago
2007
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...
81
Voted
CORR
2004
Springer
15 years 13 days ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
ENTCS
2000
15 years 12 days ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
101
Voted
CSSE
2002
IEEE
15 years 12 days 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...
133
Voted
TCS
1998
15 years 6 days 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...