Sciweavers

2274 search results - page 377 / 455
» Real-Time Scheduling in Distributed Systems
Sort
View
CUZA
2002
132views more  CUZA 2002»
15 years 13 days ago
A Process Algebra for Predictible Control Systems
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
Nicolae Marian
101
Voted
ATAL
2005
Springer
15 years 6 months ago
Liberalizing protocols for argumentation in multi-agent systems
This publication summarizes research on the the design and implementation of liberalized version of existing truth-finding protocols for argumentation, such as the standard two-a...
Gerard Vreeswijk
89
Voted
ASAP
2003
IEEE
114views Hardware» more  ASAP 2003»
15 years 6 months ago
An Efficient Disk-Array-Based Server Design for a Multicast Video Streaming System
Recently, a number of researchers have started to investigate new video-on-demand (VoD) architectures using batching, patching and periodic broadcasting. These architectures, comp...
P. H. Chan Patton, Jack Y. B. Lee
125
Voted
SIGMOD
1997
ACM
127views Database» more  SIGMOD 1997»
15 years 4 months ago
Infomaster: An Information Integration System
Infomaster is an information integration system that provides integrated access tomultiple distributed heterogeneous information sources on the Internet, thus giving the illusion ...
Michael R. Genesereth, Arthur M. Keller, Oliver M....
109
Voted
OPODIS
2004
15 years 2 months ago
A Constraint-Based Formalism for Consistency in Replicated Systems
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...