Sciweavers

2799 search results - page 481 / 560
» computing 1998
Sort
View
SIGMOD
1998
ACM
143views Database» more  SIGMOD 1998»
14 years 2 months ago
Interaction of Query Evaluation and Buffer Management for Information Retrieval
The proliferation of the World Wide Web has brought information retrieval (IR) techniques to the forefront of search technology. To the average computer user, “searching” now ...
Björn Þór Jónsson, Michae...
SIGSOFT
1998
ACM
14 years 2 months ago
Reasoning about Implicit Invocation
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
David Garlan, Somesh Jha, David Notkin
UIST
1998
ACM
14 years 2 months ago
Spatial Interpretation of Domain Objects Integrated into a Freeform Electronic Whiteboard
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
Thomas P. Moran, William van Melle, Patrick Chiu
ESA
1998
Springer
154views Algorithms» more  ESA 1998»
14 years 2 months ago
A Functional Approach to External Graph Algorithms
We present a new approach for designing external graph algorithms and use it to design simple, deterministic and randomized external algorithms for computing connected components, ...
James Abello, Adam L. Buchsbaum, Jeffery Westbrook
FASE
1998
Springer
14 years 2 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan