Sciweavers

3385 search results - page 287 / 677
» Observer-Conditioned-Observable Design Pattern
Sort
View
133
Voted
JIPS
2010
162views more  JIPS 2010»
14 years 9 months ago
Intercepting Filter Approach to Injection Flaws
The growing number of web applications in the global economy has made it critically important to develop secure and reliable software to support the economy's increasing depen...
Ahmed Salem
93
Voted
CEJCS
2011
78views more  CEJCS 2011»
14 years 2 months ago
Good versus optimal: Why network analytic methods need more systematic evaluation
: Network analytic method designed for the analysis of static networks promise to identify significant relational patterns that correlate with important structures in the complex ...
Katharina Anna Zweig
LPAR
2012
Springer
13 years 10 months ago
Querying Proofs
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
David Aspinall, Ewen Denney, Christoph Lüth
EVOW
2008
Springer
15 years 4 months ago
Implicit Fitness Functions for Evolving a Drawing Robot
We describe an approach to artificially evolving a drawing robot using implicit fitness functions, which are designed to minimise any direct reference to the line patterns made by ...
Jon Bird, Phil Husbands, Martin Perris, Bill Bigge...
IIE
2008
58views more  IIE 2008»
15 years 2 months ago
The Unfortunate Novice Theme of Direct Transformation
In many occasions, the text describing an algorithmic task may entail a rather intuitive, operational solution scheme. Yet, such a scheme may not necessarily be efficient or correc...
David Ginat