1194 search results - page 171 / 239 » A Language for Implementing Arbitrary Logics |
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
PPDP
2005
Springer
14 years 2 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....
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
KBSE
2000
IEEE
14 years 22 days ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...