26151 search results - page 5027 / 5231 » Parameterized system design |
137
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
132
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
172
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
132
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
We present a logs-based comparison of search patterns across three platforms: computers, iPhones and conventional mobile phones. Our goal is to understand how mobile search users ...
150
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
This paper shares our experience in designing a web crawler that can download billions of pages using a single-server implementation and models its performance. We show that with ...