Sciweavers

3564 search results - page 552 / 713
» Evaluating a Formal Modelling Language
Sort
View
COMPSEC
2008
116views more  COMPSEC 2008»
14 years 10 months ago
Enforcing memory policy specifications in reconfigurable hardware
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timo...
102
Voted
CSFW
2011
IEEE
13 years 10 months ago
Modular Protections against Non-control Data Attacks
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swa...
GW
2007
Springer
199views Biometrics» more  GW 2007»
15 years 4 months ago
Robust Tracking for Processing of Videos of Communication's Gestures
This paper presents a method of image processing used in a mono-vision system in order to study semiotic gestures. We present a robust method to track the hands and face of a perso...
Frédérick Gianni, Christophe Collet,...
ICWS
2007
IEEE
14 years 11 months ago
A Platform for Context Aware Runtime Web Service Discovery
In this paper we describe a platform that supports context aware runtime service discovery. The platform supports service discovery based on structural and behavioural service mod...
George Spanoudakis, Khaled Mahbub, Andrea Zisman
LREC
2008
85views Education» more  LREC 2008»
14 years 11 months ago
A Multi-Genre SMT System for Arabic to French
This work presents improvements of a large-scale Arabic to French statistical machine translation system over a period of three years. The development includes better preprocessin...
Sasa Hasan, Hermann Ney