2302 search results - page 304 / 461 » Testing as Abstraction |
175
click to vote
CSCLP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
163
click to vote
ECML
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The area under the ROC curve (AUC) has been widely used to measure ranking performance for binary classification tasks. AUC only employs the classifier’s scores to ra...
153
click to vote
ESOP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
139
click to vote
ESORICS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. From a security standpoint, it is preferable to implement least privilege network security policies in which only the bare minimum of TCP/UDP ports on internal hosts are ...
120
click to vote
EUC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The deployment of ZigBee networks is expected to facilitate numerous applications, such as home healthcare, medical monitoring, consumer electronics, and environmental se...