2206 search results - page 40 / 442 » On the power of coercion abstraction |
105
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
DAC
1996
ACM
15 years 5 months ago
1996
ACM
Abstract: Exploration at the earliest stages of the design process is an integral component of effective low-power design. Nevertheless, superficial high-level analyses with insuff...
121
click to vote
ASIACRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper, we consider the problem of mutually authenticated key exchanges between a low-power client and a powerful server. We show how the Jakobsson-Pointcheval sch...
117
click to vote
ISLPED
1995
ACM
15 years 5 months ago
1995
ACM
ABSTRACT { Sub-micron technologies and the increasing size and complexity of integrated components have aggravated the e ect of long interconnects and buses, compared to that of ga...
128
click to vote
VLDB
1987
ACM
15 years 5 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...