9110 search results - page 1674 / 1822 » Formally-Based Design Evaluation |
129
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
Providing continuous on-demand streaming services with VCR functionality over ubiquitous environments is challenging due to the stringent QoS requirements of streaming service as ...
131
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...
133
click to vote
IDEAS
2009
IEEE
15 years 10 months ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...
148
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Broadcast is one of the most fundamental services in wireless sensor networks (WSNs). It facilitates sensor nodes to propagate messages across the whole network, serving a wide ...
111
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Compromised machines are one of the key security threats on the Internet; they are often used to launch various security attacks such as DDoS, spamming, and identity theft. In t...