9974 search results - page 1687 / 1995 » Software Interconnection Models |
125
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
142
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
136
Voted
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
121
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
As development on a software project progresses, developers shift their focus between different topics and tasks many times. Managers and newcomer developers often seek ways of un...
112
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— Wireless community networks, where users share wireless bandwidth is attracting tremendous interest from academia and industry. Companies such as FON have been successful in at...