2514 search results - page 165 / 503 » The use of industrial-strength formal methods |
273
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Wireless Sensor Networks (WSNs) may be deployed in hostile or inaccessible environments and are often unattended. In these conditions securing a WSN against malicious attacks is a...
140
click to vote
IJIIDS
2007
15 years 6 months ago
2007
: We analyse 18 evaluation methods for learning algorithms and classifiers, and show how to categorise these methods with the help of an evaluation method taxonomy based on several...
169
click to vote
IFL
1997
Springer
15 years 10 months ago
1997
Springer
Functional programs, by nature, operate on functional, or persistent, data structures. Therefore, persistent graphs are a prerequisite to express functional graph algorithms. In th...
162
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
164
click to vote
KCAP
2009
ACM
16 years 29 days ago
2009
ACM
Many information sources use multiple modalities, such as textbooks, which contain both text and diagrams. Each captures information that is hard to express in the other, and evid...