6800 search results - page 820 / 1360 » Testing with Functions as Specifications |
185
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
187
Voted
EOR
2006
15 years 7 months ago
2006
Given a set of rectangular pieces and a container of fixed width and variable length, the two-dimensional strip packing problem (2D-SPP) consists of orthogonally placing all the p...
145
click to vote
CE
2007
15 years 7 months ago
2007
Adapting training methods to specific teacher traits to best facilitate the training effects for preservice teachers is an important, yet neglected, topic in aptitude-treatment in...
159
click to vote
IEEEMM
2006
15 years 7 months ago
2006
The Musical Instrument Digital Interface (MIDI) is a popular music format used in mu ltimedia messaging service, such as mobile phone ringtones. Scalable Polyphony MIDI (SP-MIDI) ...
186
click to vote
IJVR
2008
15 years 7 months ago
2008
Evolutionary computation is a generic term used to make reference to the solution of computational problems planned and implemented based on models of an evolutionary process. Most...