4520 search results - page 347 / 904 » Algebraic Techniques for Timed Systems |
173
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
203
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes an efficient technique for partitioning large biometric database during identification. In this technique feature vector which comprises of global and local de...
204
click to vote
CHARME
2001
Springer
16 years 21 hour ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
209
click to vote
MSWIM
2006
ACM
16 years 1 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
186
click to vote
DEXA
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. The ever-increasing popularity of peer-to-peer (P2P) systems provides a strong motivation for designing a dependable P2P system. Dependability in P2P systems can be viewe...