Sciweavers

1034 search results - page 80 / 207
» Wide Classes
Sort
View
INFOCOM
2002
IEEE
14 years 1 months ago
Inference and Labeling of Metric-Induced Network Topologies
—The development and deployment of distributed network-aware applications and services require the ability to compile and maintain a model of the underlying network resources wit...
Azer Bestavros, John W. Byers, Khaled Harfoush
SEKE
2001
Springer
14 years 1 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
SEMWEB
2001
Springer
14 years 1 months ago
RDF Models for Dynamic Syndication and Wireless Applications
Machine-understandable metadata is providing the foundation for next-generationframeworks that enable automated construction ofserver-side Java applications. Suchapplications are ...
Leon A. Shklar
SSD
2001
Springer
119views Database» more  SSD 2001»
14 years 1 months ago
Constrained Nearest Neighbor Queries
In this paper we introduce the notion of constrained nearest neighbor queries (CNN) and propose a series of methods to answer them. This class of queries can be thought of as neare...
Hakan Ferhatosmanoglu, Ioana Stanoi, Divyakant Agr...
SIGCSE
1999
ACM
119views Education» more  SIGCSE 1999»
14 years 1 months ago
Computer science and general education: Java, graphics, and the Web
We describe a Computer Science General Education course offered at Hope College. This course stressesproblem-solving. It uses traditional concepts of programming, but does it with...
Gordon Stegink, Jon Pater, Daron Vroon II