1541 search results - page 178 / 309 » Tools and Techniques for Model Checking Networked Programs |
153
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
228
click to vote
WSC
2004
15 years 5 months ago
2004
Decision trees are one of the most easy to use tools in decision analysis. Problems where decision tree branches are based on random variables have not received much attention. Th...
123
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...
130
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
— High variability of access resources in heterogenous wireless networks and limited computing power and battery life of mobile computing devices such as smartphones call for nov...
180
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...