Sciweavers

2123 search results - page 47 / 425
» Composition of Cyber-Physical Systems
Sort
View
DATE
2004
IEEE
159views Hardware» more  DATE 2004»
15 years 7 months ago
Compositional Memory Systems for Data Intensive Applications
To alleviate the system performance unpredictability of multitasking applications running on multiprocessor platforms with shared memory hierarchies we propose a task level set ba...
Anca Mariana Molnos, Marc J. M. Heijligers, Sorin ...
127
Voted
WISA
2007
Springer
15 years 10 months ago
A Compositional Multiple Policies Operating System Security Model
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
Lei Xia, Wei Huang, Hao Huang
116
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne
100
Voted
CRYPTO
2009
Springer
95views Cryptology» more  CRYPTO 2009»
15 years 10 months ago
Computational Indistinguishability Amplification: Tight Product Theorems for System Composition
Ueli M. Maurer, Stefano Tessaro
138
Voted
ICAC
2005
IEEE
15 years 9 months ago
Using Transparent Shaping and Web Services to Support Self-Management of Composite Systems
Seyed Masoud Sadjadi, Philip K. McKinley