1497 search results - page 130 / 300 » Extended static checking |
136
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
108
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
108
click to vote
APN
2009
Springer
15 years 9 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
126
click to vote
FOAL
2009
ACM
15 years 8 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
101
Voted
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...