2024 search results - page 226 / 405 » The Meaning of Ordered SOS |
176
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
131
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In existing RBAC literature, administrative privileges are inherited just like ordinary user privileges. We argue that from a security viewpoint this is too restrictive, and we be...
180
click to vote
CHES
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a modular exponentiation processing method and circuit architecture that can exhibit the maximum performance of FPGA resources. The modular exponentiation arch...
215
click to vote
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
177
click to vote
EUC
2007
Springer
16 years 1 months ago
2007
Springer
Today, proprietary home automation targets very specific applications which operate mostly on a cable based infrastructure. In contrast to that, our implementation builds a wirele...