Sciweavers

1030 search results - page 51 / 206
» Stateful Detection in High Throughput Distributed Systems
Sort
View
DEBS
2008
ACM
15 years 5 months ago
BFSiena: a communication substrate for StreamMine
StreamMine is a scalable middleware for massive real-time data streaming. In this paper we present the BFSiena: a communication substrate for the StreamMine. BFSiena is a content-...
Zbigniew Jerzak, Christof Fetzer
ETFA
2005
IEEE
15 years 9 months ago
Reuse of components in formal modeling and verification of distributed control systems
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
Valeriy Vyatkin, Hans-Michael Hanisch
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 8 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
WETICE
1996
IEEE
15 years 8 months ago
Role-based security for distributed object systems
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...
Nicholas Yialelis, Emil Lupu, Morris Sloman
TWC
2011
351views more  TWC 2011»
14 years 11 months ago
Distributed Adaptation of Quantized Feedback for Downlink Network MIMO Systems
Abstract—This paper focuses on quantized channel state information (CSI) feedback for downlink network MIMO systems. Specifically, we propose to quantize and feedback the CSI of...
Sheng Zhou, Jie Gong, Zhisheng Niu