2024 search results - page 226 / 405 » The Meaning of Ordered SOS |
158
click to vote
CALCO
2007
Springer
16 years 27 days 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...
119
click to vote
CCS
2007
ACM
16 years 27 days 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...
158
click to vote
CHES
2007
Springer
16 years 27 days 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...
192
click to vote
EPIA
2007
Springer
16 years 26 days 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...
163
click to vote
EUC
2007
Springer
16 years 26 days 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...