Sciweavers

5085 search results - page 765 / 1017
» Multidimensional Design by Examples
Sort
View
182
Voted
ISADS
1999
IEEE
15 years 11 months ago
Fault Tolerance in Decentralized Systems
: In a decentralised system the problems of fault tolerance, and in particular error recovery, vary greatly depending on the design assumptions. For example, in a distributed datab...
Brian Randell
LICS
1999
IEEE
15 years 11 months ago
Proof Techniques for Cryptographic Processes
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
Michele Boreale, Rocco De Nicola, Rosario Pugliese
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 11 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
VISUALIZATION
1999
IEEE
15 years 11 months ago
Hierarchical Parallel Coordinates for Exploration of Large Datasets
Our ability to accumulate large, complex (multivariate) data sets has far exceeded our ability to effectively process them in search of patterns, anomalies, and other interesting ...
Ying-Huey Fua, Matthew O. Ward, Elke A. Rundenstei...
VISUALIZATION
1999
IEEE
15 years 11 months ago
A Distributed Graphics System for Large Tiled Displays
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
Greg Humphreys, Pat Hanrahan