Sciweavers

7762 search results - page 227 / 1553
» Availability in BitTorrent Systems
Sort
View
USENIX
2001
15 years 8 months ago
Integrating Flexible Support for Security Policies into the Linux Operating System
The protection mechanisms of current mainstream operating systems are inadequate to support confidentiality and integrity requirements for end systems. Mandatory access control (M...
Peter Loscocco, Stephen Smalley
JCM
2006
92views more  JCM 2006»
15 years 6 months ago
Ultimate Dynamic Spectrum Allocation via User-Central Wireless Systems
- Current wireless systems are called vendor-central systems because, users should subscribe to a service provider (vendor) and receive the service through the spectrum assigned to...
Seyed Alireza Zekavat, Xiukui Li
CGO
2009
IEEE
16 years 1 months ago
Fast Track: A Software System for Speculative Program Optimization
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...
Kirk Kelsey, Tongxin Bai, Chen Ding, Chengliang Zh...
AGTIVE
2007
Springer
16 years 26 days ago
A Single-Step Term-Graph Reduction System for Proof Assistants
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
ANSS
2006
IEEE
16 years 22 days ago
iSimBioSys: A Discrete Event Simulation Platform for 'in silico' study of biological systems
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...