Sciweavers

207 search results - page 22 / 42
» Experiments with Implementations of Two Theoretical Construc...
Sort
View
IJSS
2007
82views more  IJSS 2007»
13 years 7 months ago
A holistic method for finding out critical features of industry maintenance services
— The purpose of this case study is to create a competitive operative management system for efficiency and quality performance for a company running maintenance service business ...
Juha-Matti Ranta, Josu Takala
ICDE
1999
IEEE
114views Database» more  ICDE 1999»
14 years 9 months ago
Universal Temporal Extensions for Database Languages
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...
Cindy Xinmin Chen, Carlo Zaniolo
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 1 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
IFIP
2004
Springer
14 years 29 days ago
Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...
Paola Flocchini, Antonio Mesa Enriques, Linda Pagl...
CTRSA
2007
Springer
153views Cryptology» more  CTRSA 2007»
13 years 11 months ago
Differential Power Analysis of Stream Ciphers
Side-channel attacks on block ciphers and public key algorithms have been discussed extensively. However, there is only sparse literature about side-cannel attacks on stream cipher...
Wieland Fischer, Berndt M. Gammel, O. Kniffler, J....