12551 search results - page 2247 / 2511 » Reuse in Systems Engineering |
297
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
285
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
177
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The Web is a dynamic, ever-changing collection of information accessed in a dynamic way. This paper explores the relationship between Web page content change (obtained from an hou...
159
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this case study, we describe our use of ECT, a tool intended to simplify the design and development of network-spanning applications. We have used ECT throughout the course of ...
183
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
This paper addresses Named Entity Mining (NEM), in which we mine knowledge about named entities such as movies, games, and books from a huge amount of data. NEM is potentially use...