Sciweavers

4809 search results - page 389 / 962
» Scalable Analysis of Scalable Systems
Sort
View
IPTPS
2004
Springer
16 years 27 days ago
A Practical Distributed Mutual Exclusion Protocol in Dynamic Peer-to-Peer Systems
— Mutual exclusion is one of the well-studied fundamental primitives in distributed systems. However, the emerging P2P systems bring forward several challenges that can’t be co...
Shiding Lin, Qiao Lian, Ming Chen, Zheng Zhang
MDM
2004
Springer
197views Communications» more  MDM 2004»
16 years 27 days ago
MobiVoD: A Video-on-Demand System Design for Mobile Ad Hoc Networks
— We present a design for a system that provides video-on-demand (VOD) services to mobile ad hoc clients. Such a system allows the clients to access video information anytime any...
Duc A. Tran, Minh Le, Kien A. Hua
COOPIS
2003
IEEE
16 years 25 days ago
BRAIN: A Framework for Flexible Role-Based Interactions in Multiagent Systems
Agent-based approaches in application development seem to meet the requirements of adaptability, scalability, decentralization, and flexibility imposed by complex software systems....
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
HOTOS
2003
IEEE
16 years 25 days ago
FAB: Enterprise Storage Systems on a Shoestring
Abstract—A Federated Array of Bricks (FAB) is a logical disk system that provides the reliability and performance of enterprise-class disk arrays, at a fraction of the cost and w...
Svend Frølund, Arif Merchant, Yasushi Saito...
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
16 years 25 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler