1105 search results - page 1 / 221 » From Languages to Systems: Understanding Practical Applicati... |
ACSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
ACSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
IEEEIAS
2008
IEEE
13 years 11 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
ICASSP
2008
IEEE
13 years 11 months ago
2008
IEEE
Robust Spoken Language Understanding (SLU) is a key component of spoken dialogue systems. Recent statistical approaches to this problem require additional resources (e.g. gazettee...
CHI
1995
ACM
13 years 8 months ago
1995
ACM
As spoken language interfaces for real-world systems become a practical possibility, it has become apparent that such interfaces will need to draw on a variety of cues from divers...