7661 search results - page 1380 / 1533 » Languages and the Computing Profession |
179
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
145
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
141
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
137
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
129
click to vote
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...