15253 search results - page 2446 / 3051 » Integer-Programming Software Systems |
196
click to vote
FOSSACS
2005
Springer
16 years 24 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 ...
184
click to vote
FOSSACS
2005
Springer
16 years 24 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...
214
click to vote
FPL
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
169
click to vote
FPL
2005
Springer
16 years 24 days ago
2005
Springer
A hardware-accelerated algorithm has been designed to automatically identify the primary languages used in documents transferred over the Internet. The algorithm has been implemen...
191
click to vote
FSTTCS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...