Sciweavers

7839 search results - page 226 / 1568
» What's there and what's not
Sort
View
IJCAI
2007
15 years 3 months ago
A Size-Based Qualitative Approach to the Representation of Spatial Granularity
A local spatial context is an area currently under consideration in a spatial reasoning process. The boundary between this area and the surrounding space together with the spatial...
Hedda Rahel Schmidtke, Woontack Woo
JUCS
2000
100views more  JUCS 2000»
15 years 1 months ago
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
Jeffrey M. Thompson, Michael W. Whalen, Mats Per E...
IV
2010
IEEE
186views Visualization» more  IV 2010»
14 years 11 months ago
Visual Amortization Analysis of Recompilation Strategies
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
Stephan Zimmer, Stephan Diehl
FAST
2009
14 years 11 months ago
A Formal Model of Provenance in Distributed Systems
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
Issam Souilah, Adrian Francalanza, Vladimiro Sasso...
INFOCOM
2007
IEEE
15 years 8 months ago
A Cost-Based Evaluation of End-to-End Network Measurements in Overlay Multicast
Abstract— Application-layer multicast (ALM, or overlay multicast) has been proposed to overcome limitations in IP multicast. While much measurement work (such as delay or connect...
Xing Jin, Qiuyan Xia, S.-H. Gary Chan