Sciweavers

1256 search results - page 113 / 252
» A Model of Interaction in Concurrent and Distributed Systems
Sort
View
ATAL
2009
Springer
15 years 8 months ago
Towards a Logical Model of Social Agreement for Agent Societies
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
Emiliano Lorini, Mario Verdicchio
FOSSACS
2005
Springer
16 years 9 days ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow...
TMM
2011
177views more  TMM 2011»
15 years 1 months ago
MIMiC: Multimodal Interactive Motion Controller
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
Dumebi Okwechime, Eng-Jon Ong, Richard Bowden
ASAP
2003
IEEE
114views Hardware» more  ASAP 2003»
16 years 2 days 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
OPODIS
2004
15 years 8 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...