Sciweavers

7049 search results - page 1203 / 1410
» Data Abstraction for CSP-OZ
Sort
View
FAC
2008
80views more  FAC 2008»
15 years 6 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
GEOINFORMATICA
2008
73views more  GEOINFORMATICA 2008»
15 years 6 months ago
Reporting Leaders and Followers among Trajectories of Moving Point Objects
Abstract. Widespread availability of location aware devices (such as GPS receivers) promotes capture of detailed movement trajectories of people, animals, vehicles and other moving...
Mattias Andersson, Joachim Gudmundsson, Patrick La...
CN
2006
89views more  CN 2006»
15 years 6 months ago
A flexible concast-based grouping service
Abstract. We present a scalable and flexible grouping service based on concast and best-effort single-source multicast. The service assigns participating end systems to specific gr...
Amit Sehgal, Kenneth L. Calvert, Jim Griffioen
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 6 months ago
Pathways: Augmenting interoperability across scholarly repositories
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
Simeon Warner, Jeroen Bekaert, Carl Lagoze, Xiaomi...
CORR
2006
Springer
92views Education» more  CORR 2006»
15 years 6 months ago
Myopic Coding in Wireless Networks
Abstract -We investigate the achievable rate of data transmission from sources to sinks through a multiple-relay network. We study achievable rates for omniscient coding, in which ...
Lawrence Ong, Mehul Motani
« Prev « First page 1203 / 1410 Last » Next »