Sciweavers

3984 search results - page 701 / 797
» A Model-Driven Transformation Method
Sort
View
VL
1995
IEEE
113views Visual Languages» more  VL 1995»
15 years 7 months ago
Toward Empirically-Based Software Visualization Languages
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...
Sarah A. Douglas, Christopher D. Hundhausen, Donna...
ICDE
1991
IEEE
175views Database» more  ICDE 1991»
15 years 7 months ago
Constraint-Based Reasoning in Deductive Databases
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...
Jiawei Han
TAPSOFT
1991
Springer
15 years 7 months ago
Comparative Semantics for a Real-Time Programming Language with Integration
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
Franck van Breugel
CICLING
2010
Springer
15 years 7 months ago
Adaptive Term Weighting through Stochastic Optimization
Term weighting strongly influences the performance of text mining and information retrieval approaches. Usually term weights are determined through statistical estimates based on s...
Michael Granitzer
CTRSA
2010
Springer
152views Cryptology» more  CTRSA 2010»
15 years 7 months ago
Differential Cache-Collision Timing Attacks on AES with Applications to Embedded CPUs
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...
Andrey Bogdanov, Thomas Eisenbarth, Christof Paar,...