3527 search results - page 492 / 706 » Test Automation in Practice |
119
Voted
PLDI
2011
ACM
14 years 1 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
106
click to vote
GIS
2010
ACM
14 years 8 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability t...
ICDCS
2009
IEEE
15 years 8 months ago
2009
IEEE
While it is well known that network coding achieves optimal flow rates in multicast sessions, its potential for practical use has remained to be a question, due to its high compu...
INFOCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
—Aggregate scheduling is one of the most promising solutions to the issue of scalability in networks, like DiffServ networks and high speed switches, where hard QoS guarantees ar...