Sciweavers

1707 search results - page 158 / 342
» On the Design of Agent-Based Systems using UML and Extension...
Sort
View
USENIX
2001
15 years 7 months ago
Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems
Stackable file systems can provide extensible file system functionality with minimal performance overhead and development cost. However, previous approaches provide only limited f...
Erez Zadok, Johan M. Andersen, Ion Badulescu, Jaso...
USENIX
1996
15 years 7 months ago
lmbench: Portable Tools for Performance Analysis
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...
Larry W. McVoy, Carl Staelin
ICFP
2006
ACM
16 years 6 months ago
Access control in a core calculus of dependency
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
Martín Abadi
IFIP
1992
Springer
15 years 10 months ago
Information Technology Security Evaluation Criteria (ITSEC) - a Contribution to Vulnerability?
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...
Michael Gehrke, Andreas Pfitzmann, Kai Rannenberg
SCFBM
2008
129views more  SCFBM 2008»
15 years 5 months ago
Faunus: An object oriented framework for molecular simulation
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...
Mikael Lund, Martin Trulsson, Björn Persson