Sciweavers

2534 search results - page 17 / 507
» A Type System for the Push-Enter Model
Sort
View
POPL
2008
ACM
14 years 7 months ago
Cryptographically sound implementations for typed information-flow security
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
Cédric Fournet, Tamara Rezk
CONCUR
2004
Springer
14 years 28 days ago
Type Based Discretionary Access Control
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
Michele Bugliesi, Dario Colazzo, Silvia Crafa
ICASSP
2008
IEEE
14 years 2 months ago
Hierarchical lane detection for different types of roads
This paper presents a hierarchical lane detection system with the ability to deal with both structured and unstructured roads. The proposed system classifies the environment first...
Hsu-Yung Cheng, Chih-Chang Yu, Chien-Cheng Tseng, ...
IEAAIE
2011
Springer
12 years 11 months ago
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders
Persons with an Autism Spectrum Disorder (ASD) may show certain types of deviations in social functioning. Since the discovery of mirror neuron systems and their role in social fun...
Yara van der Laan, Jan Treur
ICIP
2009
IEEE
13 years 5 months ago
Modeling of image shutters and motion blur in analog and digital camera systems
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...
Michael Schöberl, Siegfried Fößel,...