4067 search results - page 357 / 814 » Programs for Applying Symmetries |
190
click to vote
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
148
click to vote
ECOOP
2005
Springer
16 years 11 days ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
178
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
162
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
141
click to vote
HPCC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...