Sciweavers

4109 search results - page 585 / 822
» Issues in Design and Implementation of Multimedia Software S...
Sort
View
155
Voted
SIGMETRICS
1992
ACM
128views Hardware» more  SIGMETRICS 1992»
15 years 10 months ago
MemSpy: Analyzing Memory System Bottlenecks in Programs
To cope with the increasing difference between processor and main memory speeds, modern computer systems use deep memory hierarchies. In the presence of such hierarchies, the perf...
Margaret Martonosi, Anoop Gupta, Thomas E. Anderso...
ICDE
1999
IEEE
117views Database» more  ICDE 1999»
16 years 7 months ago
Semantic Brokering over Dynamic Heterogeneous Data Sources in InfoSleuth
InfoSleuth1is an agent-based system for information discovery and retrieval in a dynamic, open environment. This paper discusses InfoSleuth's multibroker design and implement...
Marian H. Nodine, William Bohrer, Anne H. H. Ngu
167
Voted
GIS
2002
ACM
15 years 6 months ago
Generic query tool for spatio-temporal data
Geographical information systems are more and more based on a DBMS with spatial extensions, which is also the case for the system described in this paper. The design and implementa...
Peter van Oosterom, Bart Maessen, Wilko Quak
ECTEL
2009
Springer
15 years 4 months ago
Using Third Party Services to Adapt Learning Material: A Case Study with Google Forms
Abstract. Current Learning Management Systems were typically conceived to offer a self-contained "one size fits all" learning environment. Adaptive educational systems ha...
Luis de la Fuente Valentín, Abelardo Pardo,...
SEW
2006
IEEE
16 years 5 days ago
Retrenching the Purse: Finite Exception Logs, and Validating the Small
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
Richard Banach, Michael Poppleton, Susan Stepney