Sciweavers

2095 search results - page 198 / 419
» Describing Groups
Sort
View
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
LCPC
1997
Springer
15 years 10 months ago
PCRC-based HPF Compilation
This paper describes an ongoing e ort supported by ARPA PCRC (Parallel Compiler Runtime Consortium) project. In particular, we discuess the design and implementation of an HPF com...
Guansong Zhang, Bryan Carpenter, Geoffrey Fox, Xia...
DAC
1994
ACM
15 years 10 months ago
HSIS: A BDD-Based Environment for Formal Verification
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin...
HPCN
1994
Springer
15 years 10 months ago
Experiments with HPF Compilation for a Network of Workstations
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
Fabien Coelho
CSCW
1992
ACM
15 years 10 months ago
Supporting Collaborative Writing of Hyperdocuments in SEPIA
Today, most cooperative systems support primarily either asynchronous or synchronous (real time) cooperative work. We feel that both synchronous and asynchronous cooperation are e...
Jörg M. Haake, Brian Wilson