1760 search results - page 267 / 352 » Program Analysis Using Weighted Pushdown Systems |
CCS
2003
ACM
14 years 3 months ago
2003
ACM
Web-based vulnerabilities represent a substantial portion of the security exposures of computer networks. In order to detect known web-based attacks, misuse detection systems are ...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...