1911 search results - page 228 / 383 » Program analysis for code duplication in logic programs |
148
click to vote
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
137
click to vote
FOAL
2007
ACM
15 years 9 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
265
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
138
click to vote
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
121
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...