9110 search results - page 1644 / 1822 » Formally-Based Design Evaluation |
148
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
163
Voted
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
149
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Motivated by the emergence of auction-based marketplaces for display ads such as the Right Media Exchange, we study the design of a bidding agent that implements a display adverti...
165
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
The web has become an important medium for news delivery and consumption. Fresh content about a variety of topics, events, and places is constantly being created and published on ...
106
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
In this paper we present a novel framework for extracting the ratable aspects of objects from online user reviews. Extracting such aspects is an important challenge in automatical...