4255 search results - page 116 / 851 » Cover |
106
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper we present a family of ternary quasi-perfect BCH codes. These codes are of minimum distance 5 and covering radius 3. The first member of this family is the ternary qu...
117
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a refactoring process transforming a Java code base into an AspectJ equivalent. The process illustrates 17 aspect-oriented refactorings covering extraction of...
122
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
115
Voted
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
135
click to vote
AUSAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Ant Colony Optimization (ACO) is a collection of metaheuristics inspired by foraging in ant colonies, whose aim is to solve combinatorial optimization problems. We identi...