Sciweavers

5757 search results - page 473 / 1152
» Dynamic Policy Programming
Sort
View
FOSSACS
2005
Springer
16 years 12 days ago
Bridging Language-Based and Process Calculi Security
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
TOOLS
1999
IEEE
15 years 11 months ago
Component Frameworks - A Case Study
This paper reports on an effort to use both the system theoretic DEVS (discrete event simulation) formalism and the JavaBeans component model as a basis for a componentbased discr...
Herbert Praehofer, Johannes Sametinger, Alois Stri...
IFIP
1997
Springer
15 years 11 months ago
Measurement-based CAC for video applications using SBR service
This paper provides a conservative estimation of the required bandwidth for video sources multiplexed according to the bu erless scheme and using the Statistical Bit Rate transfer...
F. Brichet, Alan Simonian
POS
2000
Springer
15 years 10 months ago
The Memory Behavior of the WWW, or The WWW Considered as a Persistent Store
Abstract. This paper presents the performance evaluation of five memory allocation strategies for the PerDiS Persistent Distributed Object store in the context of allocating two di...
Nicolas Richer, Marc Shapiro
FPCA
1995
15 years 10 months ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...