8337 search results - page 135 / 1668 » Reasoning With Characteristic Models |
152
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
160
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
124
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
140
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Previous work investigating the performance of genetic algorithms (GAs) has attempted to develop a set of fitness landscapes, called “Royal Roads” functions, which should be id...
139
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
We examine correlations between dialogue characteristics and learning in two corpora of spoken tutoring dialogues: a human-human corpus and a humancomputer corpus, both of which ha...