6584 search results - page 316 / 1317 » Distributed Shared Contexts |
235
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
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...
187
click to vote
WEBNET
2000
15 years 8 months ago
2000
: 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...
179
click to vote
MOBILIGHT
2010
15 years 5 months ago
2010
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...
204
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
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...
282
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
We propose a distributed XML stream filtering system that uses a large number of subscribers' profiles, written in XPath expressions, to filter XML streams and then publish t...