219 search results - page 26 / 44 » Towards Hilbertian Formal Methods |
176
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
— Capacitated arc routing problem (CARP) has attracted much attention due to its generality to many real world problems. Memetic algorithm (MA), among other metaheuristic search ...
175
click to vote
FM
2009
Springer
16 years 16 days ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
151
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
160
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Formal classification of a large collection of protein structures aids the understanding of evolutionary relationships among them. Classifications involving manual ste...
161
click to vote
AGILEDC
2007
IEEE
16 years 6 days ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...