4255 search results - page 724 / 851 » Database: Models, Languages, Design |
167
click to vote
SIES
2008
IEEE
15 years 11 months ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
146
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
136
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
155
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
135
Voted
WIA
2007
Springer
15 years 11 months ago
2007
Springer
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and p...