6434 search results - page 875 / 1287 » Model Transformations with Reference Models |
137
click to vote
CDC
2009
IEEE
15 years 9 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...
150
click to vote
CRYPTO
2001
Springer
15 years 9 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...
166
click to vote
ISCA
1999
IEEE
15 years 9 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...
139
Voted
FTDCS
1997
IEEE
15 years 9 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...
131
click to vote
PODS
1997
ACM
15 years 9 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...