Sciweavers

15421 search results - page 195 / 3085
» Dependability
Sort
View
INFOVIS
1999
IEEE
15 years 8 months ago
3D Interactive Visualization for Inter-Cell Dependencies of Spreadsheets
This paper proposes a new technique to visualize dependencies among cells in a spreadsheet. In this way, the system firstly visualizes a spreadsheet on a plane in threedimensional...
Hidekazu Shiozawa, Ken-ichi Okada, Yutaka Matsushi...
ACISP
1998
Springer
15 years 8 months ago
Detecting Key-Dependencies
The confidentiality of encrypted data depends on how well the key under which it was encrypted is maintained. If a session key was exchanged encrypted under a long-term key, exposu...
Tage Stabell-Kulø, Arne Helme, Gianluca Din...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 8 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
ICS
1997
Tsinghua U.
15 years 8 months ago
Sparse Code Generation for Imperfectly Nested Loops with Dependences
Standard restructuring compiler tools are based on polyhedral algebra and cannot be used to analyze or restructure sparse matrix codes. We have recently shown that tools based on ...
Vladimir Kotlyar, Keshav Pingali
RT
1997
Springer
15 years 8 months ago
A Geometry Dependent Texture Generation Framework for Simulating Surface Imperfections
: To model surface imperfections and weathering, we proposea two-step texture generation framework in between manual texture synthesis and automatic physical simulation. Although t...
Tien-Tsin Wong, Wai-Yin Ng, Pheng-Ann Heng