1541 search results - page 201 / 309 » Tools and Techniques for Model Checking Networked Programs |
176
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
Theme network is a semantic network of document specific themes. So far Natural Language Processing (NLP) research patronized much of topic based summarizer system, unable to captu...
148
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
132
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The development and improvement of reliable computational methods designed to evaluate the quality of protein models is relevant in the context of protein structure re...
162
click to vote
IEEEIAS
2008
IEEE
15 years 10 months ago
2008
IEEE
To achieve high accuracy while lowering false alarm rates are major challenges in designing an intrusion detection system. In addressing this issue, this paper proposes an ensembl...
137
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This chapter describes Aneka-Federation, a decentralized and distributed system that combines enterprise Clouds, overlay networking, and structured peer-to-peer techniques to crea...