6941 search results - page 1061 / 1389 » Testing as a Certification Approach |
159
Voted
ESOP
2007
Springer
16 years 29 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...
143
click to vote
ESORICS
2007
Springer
16 years 29 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 ...
172
click to vote
EVOW
2007
Springer
16 years 28 days ago
2007
Springer
Many instances of NP-hard problems can be solved efficiently if the treewidth of their corresponding graph is small. Finding the optimal tree decompositions is an NP-hard problem a...
185
click to vote
IBPRIA
2007
Springer
16 years 28 days ago
2007
Springer
Some fast nearest neighbor search (NNS) algorithms using metric properties have appeared in the last years for reducing computational cost. Depending on the structure used to store...
134
click to vote
ICA
2007
Springer
16 years 28 days ago
2007
Springer
A common problem in independent component analysis after prewhitening is to optimize some contrast on the orthogonal or unitary group. A popular approach is to optimize the contras...