4370 search results - page 537 / 874 » Algebra of Logic Programming |
135
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
290
click to vote
AMCS
2011
14 years 11 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
153
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
134
click to vote
DRM
2007
Springer
15 years 10 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
162
click to vote
POPL
2012
ACM
14 years 5 hour ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...