1541 search results - page 229 / 309 » Tools and Techniques for Model Checking Networked Programs |
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
125
click to vote
SCP
2010
14 years 7 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
117
click to vote
MSWIM
2005
ACM
15 years 6 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
ICDE
2010
IEEE
16 years 10 days ago
2010
IEEE
The increasing popularity of social networks has initiated a fertile research area in information extraction and data mining. Although such analysis can facilitate better understan...
100
Voted
IMC
2010
ACM
14 years 10 months ago
2010
ACM
Operators and researchers want accurate router-level views of the Internet for purposes including troubleshooting and modeling. However, tools such as traceroute return IP address...