Sciweavers

4880 search results - page 328 / 976
» Mechanism Design by Creditability
Sort
View
FAST
2004
15 years 8 months ago
Segank: A Distributed Mobile Storage System
This paper presents a distributed mobile storage system designed for storage elements connected by a network of non-uniform quality. Flexible data placement is crucial, and it lea...
Sumeet Sobti, Nitin Garg, Fengzhou Zheng, Junwen L...
ISCAPDCS
2004
15 years 8 months ago
An Open Digest-based Technique for Spam Detection
A promising anti-spam technique consists in collecting users opinions that given email messages are spam and using this collective judgment to block message propagation to other u...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...
INTERACT
2003
15 years 8 months ago
Pointing in Intelligent Environments with the WorldCursor
: We introduce the WorldCursor, a pointing device and cursor designed for intelligent environments. The WorldCursor is analogous to the mouse and cursor used in traditional GUIs: t...
Andrew Wilson, Hubert Pham
WSC
2001
15 years 8 months ago
Hybrid agent-based simulation for analyzing the national airspace system
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
Seungman Lee, Amy R. Pritchett, David Goldsman
175
Voted
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl