2236 search results - page 266 / 448 » Language Independence and Language Tolerance in Logic Progra... |
173
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
162
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
145
click to vote
CLIMA
2004
15 years 6 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
139
Voted
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
170
click to vote
ICPP
1991
IEEE
15 years 8 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...