490 search results - page 75 / 98 » Equivalent Keys of HPC |
IS
1998
15 years 1 months ago
1998
Abstract - We discuss the impact of locally implemented behaviour on global behaviour specification in a federation of object-oriented databases. In particular, given a specificati...
131
Voted
JUCS
2002
15 years 1 months ago
2002
: Let G = (V, E) be a strongly connected and aperiodic directed graph of uniform out-degree k. A deterministic finite automaton is obtained if the edges are colored with k colors i...
112
Voted
QUESTA
1998
15 years 1 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
139
click to vote
SIGOPS
1998
15 years 1 months ago
1998
Abstract. We present a related family of authentication and digital signature protocols based on symmetric cryptographic primitives which perform substantially better than previous...
113
click to vote
SIAMCO
2002
15 years 1 months ago
2002
This paper deals with linear shift-invariant distributed systems. By this we mean systems described by constant coefficient linear partial differential equations. We define dissipa...