3901 search results - page 711 / 781 » software 2008 |
96
Voted
CORR
2008
Springer
15 years 20 days ago
2008
Springer
We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention ...
95
Voted
CORR
2008
Springer
15 years 20 days ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
128
Voted
CORR
2008
Springer
15 years 20 days ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
CORR
2008
Springer
15 years 20 days ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
94
Voted
CORR
2008
Springer
15 years 20 days ago
2008
Springer
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...