733 search results - page 40 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
153
Voted
PDP
2009
IEEE
15 years 10 months ago
2009
IEEE
—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...
144
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
123
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
110
Voted
PARLE
1992
15 years 7 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
130
Voted
ACSC
2006
IEEE
15 years 9 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...