2623 search results - page 352 / 525 » tools 2010 |
PET
2010
Springer
14 years 2 months ago
2010
Springer
Web Search is one of the most rapidly growing applications on the internet today. However, the current practice followed by most search engines – of logging and analyzing users...
REFSQ
2010
Springer
14 years 2 months ago
2010
Springer
Product managers in software companies are confronted with a continuous stream of incoming requirements. Due to limited resources they have to make a selection of those that can be...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
CSFW
2010
IEEE
14 years 2 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...