1656 search results - page 268 / 332 » Building Dependable Distributed Applications Using AQUA |
149
Voted
VEE
2012
ACM
13 years 10 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 ...
141
Voted
FCA
2005
Springer
15 years 8 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...
125
Voted
PLDI
2010
ACM
16 years 5 days 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...
123
Voted
CACM
2000
15 years 2 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...
128
Voted
INFOCOM
2010
IEEE
15 years 1 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...