4917 search results - page 898 / 984 » Software Engineering is Not Computer Science |
175
Voted
SIAMCOMP
2002
15 years 3 months ago
2002
We characterize all limit laws of the quicksort type random variables defined recursively by Xn d = XIn + X n-1-In + Tn when the "toll function" Tn varies and satisfies ...
137
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Existing commercial Web browsers provide various utilities and functions, e.g., Web bookmarks and a browsing history list. Since the bookmark and history functions only the title ...
125
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
126
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
126
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Trees can be conveniently compressed with linear straight-line contextfree tree grammars. Such grammars generalize straight-line context-free string grammars which are wi...