12741 search results - page 219 / 2549 » Editorial and call for papers |
143
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies dissipativity for a class of infinite-dimensional systems, called pseudorational, in the behavioral context. A basic equivalence condition for dissipativity is e...
156
click to vote
JSAT
2010
15 years 1 months ago
2010
This paper is devoted to investigate resolution for quantified generalized clause-sets (QCLS). The soundness and refutation completeness are proved. Then quantified generalized Ho...
182
click to vote
RTCSA
2006
IEEE
16 years 19 days ago
2006
IEEE
We propose a novel tool, called objSampler, with which users can record and recall “encounters” with objects in ubiquitous computing environments. We encounter various things,...
216
click to vote
PLDI
2004
ACM
16 years 1 days ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
175
Voted
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...