Sciweavers

18924 search results - page 328 / 3785
» Conformance of Distributed Systems
Sort
View
ICFEM
2003
Springer
15 years 12 months ago
Analyzing the Redesign of a Distributed Lift System in UPPAAL
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
Jun Pang, Bart Karstens, Wan Fokkink
ACSC
2002
IEEE
15 years 11 months ago
Bracket Capabilities for Distributed Systems Security
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
Mark Evered
ACSAC
1999
IEEE
15 years 11 months ago
A Distributed Certificate Management System (DCMS) Supporting Group-Based Access Controls
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...
Rolf Oppliger, Andreas Greulich, Peter Trachsel
WETICE
1996
IEEE
15 years 10 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
ICC
2007
IEEE
129views Communications» more  ICC 2007»
15 years 10 months ago
An Experimental Downlink Multiuser MIMO System with Distributed and Coherently-Coordinated Transmit Antennas
In this paper we present a multiuser MIMO experimental system and the corresponding indoor measurement results that demonstrate power of distributed and coherentlycoordinated downl...
Dragan Samardzija, Howard Huang, Reinaldo A. Valen...