Sciweavers

770 search results - page 143 / 154
» Abstract Yourself With Modules
Sort
View
PLDI
2009
ACM
15 years 8 months ago
Laminar: practical fine-grained decentralized information flow control
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
Indrajit Roy, Donald E. Porter, Michael D. Bond, K...
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
15 years 8 months ago
Exploiting angular momentum to enhance bipedal center-of-mass control
Abstract— Recent humanoid control investigations have emphasized the importance of controlling whole-body angular momentum throughout a movement task. For typical movement tasks,...
Andreas Hofmann, Marko B. Popovic, Hugh M. Herr
126
Voted
ISW
2009
Springer
15 years 8 months ago
Hardware-Assisted Application-Level Access Control
Abstract. Applications typically rely on the operating system to enforce access control policies such as MAC, DAC, or other policies. However, in the face of a compromised operatin...
Yu-Yuan Chen, Ruby B. Lee
PPDP
2009
Springer
15 years 8 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
HPDC
2008
IEEE
15 years 8 months ago
Ontological framework for a free-form query based grid search engine
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
Chaitali Gupta, Rajdeep Bhowmik, Madhusudhan Govin...