Sciweavers

9503 search results - page 260 / 1901
» Authenticated System Calls
Sort
View
CSFW
2005
IEEE
16 years 27 days ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
ISMVL
2003
IEEE
100views Hardware» more  ISMVL 2003»
16 years 16 days ago
Biomorphic Analog Devices based on Reaction-Diffusion Systems
In this paper, we introduce new analog devices that emulate natural chemical systems, called the reaction-diffusion (RD) system. The RD system gives us a lot of clues and insights...
Tetsuya Asai, Yoshihito Amemiya
ASIAN
2006
Springer
140views Algorithms» more  ASIAN 2006»
15 years 11 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
MVA
2007
124views Computer Vision» more  MVA 2007»
15 years 8 months ago
The Agent WiSARD Approach to Intelligent Active Video Surveillance Systems
The Agent WiSARD methodology for intelligent active video surveillance systems is proposed in this paper. The hybrid neurosymbolic system (called ISIDIS) is based on the integrati...
Massimo De Gregorio
EUC
2008
Springer
15 years 9 months ago
A Lightweight Detection and Recovery Infrastructure of Kernel Objects for Embedded Systems
The kernel objects consist of critical kernel data structures and system call functions, which are the most important data for a system, should be protected as first-class candida...
Lei Sun, Tatsuo Nakajima