4870 search results - page 294 / 974 » Construction of Wavelets and Applications |
229
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
152
click to vote
JSS
2002
15 years 6 months ago
2002
Most software development errors are caused by incorrect or ambiguous requirement specifications gathered during the requirement elicitation and analysis phase. For the past decad...
199
click to vote
COCO
2010
Springer
15 years 10 months ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
189
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
An essential part of modern enterprise software development is metadata. Mainstream metadata formats, including XML deployment descriptors and Java 5 annotations, suffer from a n...
194
click to vote
SPIN
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...