257 search results - page 21 / 52 » connection 1999 |
100
click to vote
ISORC
1999
IEEE
15 years 1 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
ISPAN
1999
IEEE
15 years 1 months ago
1999
IEEE
Recursive Diagonal Torus (RDT) is a class of interconnection network consisting of recursively overlaid twodimensional square diagonal tori for massively parallel computers with u...
IV
1999
IEEE
15 years 1 months ago
1999
IEEE
A semantic-centric approach to information visualization is described in this paper. In contrast to the conventional document-centric approaches, the semantic-centric approach foc...
IV
1999
IEEE
15 years 1 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
ECSQARU
1999
Springer
15 years 1 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...