9210 search results - page 1567 / 1842 » Analyzing Real-Time Systems |
68
Voted
CIKM
1997
Springer
15 years 4 months ago
1997
Springer
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
75
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
Measured Equation of Invariance(MEI) is a new concept in computational electromagnetics. It has been demonstrated that the MEI technique can be used to terminate the meshes very c...
129
Voted
ESORICS
1994
Springer
15 years 4 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
106
Voted
KDD
1994
ACM
15 years 4 months ago
1994
ACM
Our research investigates howdomainsemantics are discovered froma relational database at a high level of automation. Thediscoveries are then represented as the extendedEntityRelat...
103
click to vote
SIGMETRICS
1993
ACM
15 years 4 months ago
1993
ACM
As disk arrays become widely used, tools for understanding and analyzing their performance become increasingly important. In particular, performance models can be invaluable in bo...