Sciweavers

959 search results - page 115 / 192
» Possible and Necessary h-Indices
Sort
View
COMPSAC
1999
IEEE
14 years 1 months ago
Detecting Null Pointer Violations in Java Programs
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
Xiaoping Jia, Sushant Sawant, Jiangyu Zhou, Sotiri...
MOBICOM
1999
ACM
14 years 1 months ago
Next Century Challenges: RadioActive Networks
A key challenge facing wireless networking is to utilize the spectrum as e ciently as possible given current channel conditions and in the most e ective way for each application. ...
Vanu G. Bose, David Wetherall, John V. Guttag
SIGECOM
1999
ACM
136views ECommerce» more  SIGECOM 1999»
14 years 1 months ago
Automated strategy searches in an electronic goods market: learning and complex price schedules
Markets for electronic goods provide the possibility of exploring new and more complex pricing schemes, due to the flexibility of information goods and negligible marginal cost. I...
Christopher H. Brooks, Scott A. Fay, Rajarshi Das,...
SIGMOD
1999
ACM
132views Database» more  SIGMOD 1999»
14 years 1 months ago
Mind Your Vocabulary: Query Mapping Across Heterogeneous Information Sources
In this paper we present a mechanism for translating constraint queries, i.e., Boolean expressions of constraints, across heterogeneous information sources. Integrating such syste...
Kevin Chen-Chuan Chang, Hector Garcia-Molina
ICMCS
1999
IEEE
117views Multimedia» more  ICMCS 1999»
14 years 1 months ago
Scheduling of Adaptive Multimedia Documents
Multimedia documents are of importance in several application areas, such as education, training, advertising and entertainment. Since multimedia documents may comprise continuous...
Stefan Wirag