21094 search results - page 4069 / 4219 » An experiment using DLV-K |
145
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
151
click to vote
WEA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we consider the problem of computing a minimum cycle basis of an undirected graph G = (V, E) with n vertices and m edges. We describe an efficient implement...
185
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...
182
click to vote
ACMDIS
2004
ACM
15 years 11 months ago
2004
ACM
Context photography consists of capturing context when taking a still picture, by sensing physical input in addition to light and representing it visually in real time. With this ...
156
click to vote
ACMDIS
2004
ACM
15 years 11 months ago
2004
ACM
Toolkits and other tools have dramatically reduced the time and technical expertise needed to design and implement graphical user interfaces (GUIs) allowing high-quality, iterativ...