6434 search results - page 875 / 1287 » Model Transformations with Reference Models |
177
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper proposes a strategy referred to as Stability Overlay (SO) for linear and nonlinear time-varying plants, that provides input/output stability guarantees for a wide se...
181
click to vote
CRYPTO
2001
Springer
15 years 11 months ago
2001
Springer
d Abstract) Ran Canetti and Marc Fischlin Abstract. We propose a new security measure for commitment protocols, called Universally Composable (UC) Commitment. The measure guarantee...
211
click to vote
ISCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
178
click to vote
FTDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
In the paper we present an overview of Saga Security System, a security architecture in open distributed systems. An agent in Saga Security System is called a Saga Agent. The auth...
172
click to vote
PODS
1997
ACM
15 years 11 months ago
1997
ACM
During the 1980's there was a lot of activity in the area of Statistical Databases, focusing mostly on socio-economic type applications, such as census data, national product...