1715 search results - page 192 / 343 » Domain-Specific Program Checking |
SP
2010
IEEE
14 years 2 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
ECOOP
2008
Springer
14 years 1 days ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
EMSOFT
2011
Springer
12 years 10 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
WWW
2005
ACM
14 years 11 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...