675 search results - page 115 / 135 » Using Fairness to Make Abstractions Work |
117
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ conď¬...
147
click to vote
JIPS
2010
14 years 6 months ago
2010
Abstract--The Internet explosion and the increase in crucial web applications such as ebanking and e-commerce, make essential the need for network security tools. One of such tools...
113
click to vote
SIGSOFT
2008
ACM
16 years 16 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—As a promising solution to manage the huge workload of large-scale VoD services, managed peer-assisted CDN systems, such as P4P [25] has attracted attention. Although th...