1656 search results - page 268 / 332 » Building Dependable Distributed Applications Using AQUA |
121
click to vote
VEE
2012
ACM
13 years 7 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
114
click to vote
FCA
2005
Springer
15 years 5 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
102
click to vote
CACM
2000
14 years 11 months ago
2000
ost abstract sense, we build web pages so that computers can read them. The software that people use to access web pages is what "reads" the document. How the page is ren...
105
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—BitTorrent (BT) has carried out a significant and continuously increasing portion of Internet traffic. While several designs have been recently proposed and implemented to imp...