6014 search results - page 999 / 1203 » Structural Testing with Use Cases |
164
click to vote
SACRYPT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. RC4, a stream cipher designed by Rivest for RSA Data Security Inc., has found several commercial applications, but little public analysis has been done to date. In this p...
139
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
136
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
136
click to vote
EDO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present Damon, a decentralized wide-area runtime aspect middleware built on top of a structured peer-topeer (p2p) substrate and a dynamic Aspect Oriented Programm...
149
click to vote
ADC
2000
Springer
15 years 8 months ago
2000
Springer
Answering range queries is a common database operation. Methods based on hashing techniques to minimise the cost of answering range queries by taking the query distribution into a...