3742 search results - page 626 / 749 » On the Use of Formal Techniques for Validation |
187
click to vote
TON
2012
13 years 8 months ago
2012
—This paper presents DAWN, a declarative platform that creates highly adaptive policy-based MANET protocols. DAWN leverages declarative networking techniques to achieve extensibl...
178
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Managing large-scale software projects involves a number of activities such as viewpoint extraction, feature detection, and requirements management, all of which require a human a...
172
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
136
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Dealing with numerical information is practically important in many real-world planning domains where the executability of an action can depend on certain numerical conditions, an...
179
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Reverse-engineering regulatory networks is one of the central challenges for computational biology. Many techniques have been developed to accomplish this by utilizing...