3731 search results - page 146 / 747 » cases 2006 |
148
click to vote
COMBINATORICS
2000
15 years 6 months ago
2000
We describe a new numerical procedure for generating dense packings of disks and spheres inside various geometric shapes. We believe that in some of the smaller cases, these packi...
188
click to vote
JAR
2002
15 years 6 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
192
click to vote
IAJIT
2010
15 years 5 months ago
2010
: Leader election algorithms solve the instability problem in the network which is caused by leader failure .In this paper, we propose a new leader election algorithm in two dimens...
185
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
148
click to vote
ERLANG
2006
ACM
16 years 13 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...