1890 search results - page 361 / 378 » Model-Based Testing in Practice |
125
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
A central problem in artificial intelligence is to choose actions to maximize reward in a partially observable, uncertain environment. To do so, we must learn an accurate model of ...
134
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Web browser history detection using CSS visited styles has long been dismissed as an issue of marginal impact. However, due to recent changes in Web usage patterns, coupled with br...
109
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
113
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
106
click to vote
ALMOB
2008
15 years 1 months ago
2008
The increasing throughput of sequencing raises growing needs for methods of sequence analysis and comparison on a genomic scale, notably, in connection with phylogenetic tree reco...