6014 search results - page 1051 / 1203 » Structural Testing with Use Cases |
123
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Recent studies have shown that the majority of today's internet traffic is related to Peer to Peer (P2P) traffic. The study of bandwidth in P2P networks is very important. Bec...
135
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we consider the problem of estimating finite rate of innovation (FRI) signals from noisy measurements, and specifically analyze the interaction between FRI technique...
105
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We propose a series of methods to represent the evolution of a field of science at different levels: namely micro, meso and macro levels. We use a previously introduced asymmetric...
118
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...