28 search results - page 6 / 6 » Statically Checked Documentation with Design Patterns |
POPL
2012
ACM
12 years 27 days ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
SWS
2004
ACM
13 years 10 months ago
2004
ACM
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...
KDD
2010
ACM
13 years 9 months ago
2010
ACM
The security demands on modern system administration are enormous and getting worse. Chief among these demands, administrators must monitor the continual ongoing disclosure of sof...