Sciweavers

18466 search results - page 409 / 3694
» On distributed systems and CSCL
Sort
View
181
Voted
PRESENCE
2007
156views more  PRESENCE 2007»
15 years 6 months ago
ATLAS: A Scalable Network Framework for Distributed Virtual Environments
A distributed virtual environment (DVE) is a software system that allows users on a network to interact with each other by sharing a common view of their states. As users are geog...
Dongman Lee, Mingyu Lim, Seunghyun Han, Kyungmin L...
WAIM
2005
Springer
16 years 9 days ago
Using Web Services and Scientific Workflow for Species Distribution Prediction Modeling
Species distribution prediction modeling plays a key role in biodiversity research. We propose to publish both species distribution data and modeling components as Web services and...
Jianting Zhang, Deana Pennington, William Michener
CLIMA
2007
15 years 8 months ago
Proof Theory for Distributed Knowledge
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
Raul Hakli, Sara Negri
JSW
2008
122views more  JSW 2008»
15 years 6 months ago
Security of Distributed Digital Criminal Dossiers
Abstract-- Securely managing shared information in distributed environments across multiple organisations is a challenge. Distributed information management systems must be able to...
Martijn Warnier, Frances M. T. Brazier, Anja Oskam...
CONCUR
2007
Springer
15 years 10 months ago
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. ...