6800 search results - page 690 / 1360 » Testing with Functions as Specifications |
274
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Some theoretical models used in IS research may lack explanatory power and consistency because of their failure to provide an adequate means of accounting for contextual and situa...
206
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Cognitive networks are the latest progression of cognitive functionality into the networking stack, an effort which began with a layer one and two focus on cognitive radios, an...
152
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper analyzes the behavior of a selectorecombinative genetic algorithm (GA) with an ideal crossover on a class of random additively decomposable problems (rADPs). Specifical...
199
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
189
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...