Sciweavers

1440 search results - page 254 / 288
» Third-Party Flow Control
Sort
View
ASAP
2010
IEEE
148views Hardware» more  ASAP 2010»
14 years 16 days ago
Function flattening for lease-based, information-leak-free systems
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T...
DBSEC
2008
137views Database» more  DBSEC 2008»
14 years 13 days ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
LREC
2010
197views Education» more  LREC 2010»
14 years 13 days ago
An Open Source Process Engine Framework for Realtime Pattern Recognition and Information Fusion Tasks
The process engine for pattern recognition and information fusion tasks, the pepr framework, aims to empower the researcher to develop novel solutions in the field of pattern reco...
Volker Fritzsch, Stefan Scherer, Friedhelm Schwenk...
SPLC
2008
14 years 12 days ago
Towards Separation of Concerns in Model Transformation Workflows
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
Christoph Elsner, Daniel Lohmann, Wolfgang Schr&ou...
AVI
2004
14 years 11 days ago
Visualizing programs with Jeliot 3
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...