101 search results - page 16 / 21 » Improving Security Using Extensible Lightweight Static Analy... |
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
107
click to vote
ICC
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—Wireless Sensor Networks are proven highly successful in many areas, including military and security monitoring. In this paper, we propose a method to use the edge–bet...
CONEXT
2009
ACM
14 years 11 months ago
2009
ACM
Network traffic can be represented by a Traffic Dispersion Graph (TDG) that contains an edge between two nodes that send a particular type of traffic (e.g., DNS) to one another. T...
110
click to vote
IMC
2010
ACM
14 years 7 months ago
2010
ACM
3G cellular data networks have recently witnessed explosive growth. In this work, we focus on UMTS, one of the most popular 3G mobile communication technologies. Our work is the f...
105
click to vote
JOT
2007
14 years 9 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...