5984 search results - page 945 / 1197 » The Informal Nature of Systems Engineering |
175
Voted
PLDI
2003
ACM
16 years 21 hour ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
201
click to vote
SIROCCO
2007
15 years 8 months ago
2007
The focus of the present paper is on providing a local deterministic algorithm for colouring the edges of Yao-like subgraphs of Unit Disc Graphs. These are geometric graphs such t...
169
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Automatic compilation of lexicon is a dream of lexicon compilers as well as lexicon users. This paper proposes a system that crawls English-Japanese person-name transliterations f...
152
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Focus + context techniques such as fisheye lenses are used to navigate and manipulate objects in multi-scale worlds. They provide in-place magnification of a region without requir...
142
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe the design of a relational agent interface for handheld computers and the results of a study exploring the effectiveness of different useragent interacti...