3259 search results - page 197 / 652 » Modeling Autonomous-System Relationships |
122
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we investigate consonant random sets from the point of view of lattice theory. We introduce a new definition of consonancy and study its relationship with possibili...
110
Voted
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
We define security goals and attack models for disk encryption, and prove several relationships between the resulting security notions, and some general results about disk encryp...
126
Voted
NIME
2005
Springer
15 years 9 months ago
2005
Springer
The Scrubber is a general controller for friction-induced sound. Allowing the user to engage in familiar gestures and feeling actual friction, the synthesized sound gains an evoca...
101
click to vote
LFCS
1997
Springer
15 years 8 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
FOIS
2010
15 years 5 months ago
2010
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...