Sciweavers

5275 search results - page 772 / 1055
» Computing by observing
Sort
View
LICS
2007
IEEE
16 years 1 months ago
Static Name Control for FreshML
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
François Pottier
PERCOM
2007
ACM
16 years 1 months ago
Sensor Web Design Studies for Realtime Dynamic Congestion Pricing
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
Milton Halem, Anand Patwardhan, Sandor Dornbush, M...
SCCC
2007
IEEE
16 years 1 months ago
A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks
There is no doubt about the increase in popularity of decentralised systems over the classical client-server architecture in distributed applications. These systems are developed ...
Boris Mejías, Peter Van Roy
SRDS
2007
IEEE
16 years 1 months ago
RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks
In this paper, we propose a novel ReliAble ProbabIlistic Dissemination protocol, RAPID, for mobile wireless ad-hoc networks that tolerates message omissions, node crashes, and sel...
Vadim Drabkin, Roy Friedman, Gabriel Kliot, Marc S...
WECWIS
2007
IEEE
119views ECommerce» more  WECWIS 2007»
16 years 1 months ago
Towards an Objective Assessment of Centrality Measures in Reputation Systems
Reputation systems facilitate cooperation in open environments. Centrality-based reputation systems use centrality measures to rank individuals, i.e., compute their reputation bas...
Christian von der Weth, Klemens Böhm