10916 search results - page 2010 / 2184 » On Constructive Connectives and Systems |
212
click to vote
PLDI
2004
ACM
15 years 12 months 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...
206
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
180
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
173
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
ABSTRACT We describe theoretical principles of an imaging modality that uses the acoustic response of an object to a highly localized dynamic radiation force of an ultrasound field...
192
click to vote
MATA
2004
Springer
15 years 12 months ago
2004
Springer
New challenging deployment scenarios are integrating mobile devices with limited and heterogeneous capabilities that roam among wireless access localities during service provisioni...