Sciweavers

4078 search results - page 496 / 816
» The COMPASS Location System
Sort
View
IFIP
2004
Springer
16 years 3 days ago
Behavioural Equivalences for Dynamic Web Data
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
Sergio Maffeis, Philippa Gardner
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
16 years 3 days ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
IPTPS
2004
Springer
16 years 3 days ago
Cluster Computing on the Fly: P2P Scheduling of Idle Cycles in the Internet
— Peer-to-peer computing, the harnessing of idle compute cycles throughout the Internet, offers exciting new research challenges in the converging domains of networking and distr...
Virginia Mary Lo, Daniel Zappala, Dayi Zhou, Yuhon...
ISMIR
2000
Springer
128views Music» more  ISMIR 2000»
15 years 10 months ago
PROMS: A Web-based Tool for Searching in Polyphonic Music
One major task of a digital music library (DML) is to provide techniques to locate a queried musical pattern in all pieces of music in the database containing that pattern. For a ...
Michael Clausen, R. Engelbrecht, D. Meyer, J. Schm...
MOBISYS
2010
ACM
15 years 9 months ago
ParkNet: drive-by sensing of road-side parking statistics
Urban street-parking availability statistics are challenging to obtain in real-time but would greatly benefit society by reducing traffic congestion. In this paper we present the ...
Suhas Mathur, Tong Jin, Nikhil Kasturirangan, Jana...