Sciweavers

6756 search results - page 337 / 1352
» Distributed Shared State
Sort
View
210
Voted
SPIN
2000
Springer
15 years 10 months ago
Model-Checking Multi-threaded Distributed Java Programs
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
Scott D. Stoller
ACL
2008
15 years 8 months ago
A Supervised Learning Approach to Automatic Synonym Identification Based on Distributional Features
Distributional similarity has been widely used to capture the semantic relatedness of words in many NLP tasks. However, various parameters such as similarity measures must be hand...
Masato Hagiwara
WEBNET
2000
15 years 8 months ago
Using Multi-user Distributed Virtual Environments in Education
: On-line learning is one of the emerging needs of the information age. Access to education is going to become crucial for the success of our information society. Therefore a lot o...
Christos Bouras, Alexandros Philopoulos, Thrasyvou...
MOBILIGHT
2010
15 years 4 months ago
Virtual Distributed Simulation Platform for the Study and Optimization of Future Beyond 3G Heterogeneous Systems
This paper proposes and assesses a new distributed simulation platform for heterogeneous wireless communications. The objective of the ICARUS platform is to investigate cross-layer...
M. Carmen Lucas-Estan, Salva Garrigas, Javier Goz&...
SOCIALCOM
2010
15 years 1 months ago
Incentive Compatible Distributed Data Mining
Abstract--In this paper, we propose a game-theoretic mechanism to encourage truthful data sharing for distributed data mining. Our proposed mechanism uses the classic VickreyClarke...
Murat Kantarcioglu, Robert Nix