Sciweavers

26957 search results - page 169 / 5392
» Information Systems Modernization
Sort
View
134
Voted
KBSE
2003
IEEE
15 years 9 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
FAST
2010
15 years 6 months ago
End-to-end Data Integrity for File Systems: A ZFS Case Study
We present a study of the effects of disk and memory corruption on file system data integrity. Our analysis focuses on Sun's ZFS, a modern commercial offering with numerous r...
Yupu Zhang, Abhishek Rajimwale, Andrea C. Arpaci-D...
ISQED
2005
IEEE
78views Hardware» more  ISQED 2005»
15 years 10 months ago
Noise Aware Decoupling Capacitors for Multi-Voltage Power Distribution Systems
— Multiple power supply voltages are often used in modern high performance ICs such as microprocessors to decrease power consumption without affecting circuit speed. The system o...
Mikhail Popovich, Eby G. Friedman
TCC
2004
Springer
118views Cryptology» more  TCC 2004»
15 years 9 months ago
A General Composition Theorem for Secure Reactive Systems
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
Michael Backes, Birgit Pfitzmann, Michael Waidner
TRUSTBUS
2004
Springer
15 years 9 months ago
Dynamically Changing Trust Structure in Capability Based Access Control Systems
The functioning of modern IT-systems with autonomously acting components requires an elaborate access control system in which each participant can maintain her own trust structure....
Sandra Wortmann, Barbara Sprick, Christoph Kobusch