2496 search results - page 450 / 500 » Error-detecting properties of languages |
155
Voted
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Cross-site scripting (or XSS) has been the most dominant class of web vulnerabilities in 2007. The main underlying reason for XSS vulnerabilities is that web markup and client-sid...
144
Voted
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
130
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
153
click to vote
ERCIMDL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...
176
Voted
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...