Sciweavers

18466 search results - page 218 / 3694
» On distributed systems and CSCL
Sort
View
AMAST
2004
Springer
15 years 8 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
APWEB
2006
Springer
15 years 8 months ago
DPGS: A Distributed Programmable Grid System
Workflow mechanism is used into grid system to combine multiple grid services to implement complex grid application. But the workflow is not programmable, and is not flexible enoug...
Yongwei Wu, Qing Wang, Guangwen Yang, Weimin Zheng
CBSE
2008
Springer
15 years 6 months ago
A Component Model for Control-Intensive Distributed Embedded Systems
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
Séverine Sentilles, Aneta Vulgarakis, Tom&a...
DBSEC
2007
106views Database» more  DBSEC 2007»
15 years 5 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...
IJCAI
2003
15 years 5 months ago
Active Probing Strategies for Problem Diagnosis in Distributed Systems
We address the task of problem determination in a distributed system using probes, or test transactions, which gather information about system components. Effective probing requir...
Mark Brodie, Irina Rish, Sheng Ma, Natalia Odintso...