1106 search results - page 155 / 222 » Software That Can Think and Do |
151
click to vote
IEEEARES
2008
IEEE
16 years 22 days ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
151
click to vote
FSTTCS
2007
Springer
16 years 15 days ago
2007
Springer
We consider computational problems on covering graphs with bicliques (complete bipartite subgraphs). Given a graph and an integer k, the biclique cover problem asks whether the edg...
171
click to vote
LCPC
2007
Springer
16 years 14 days ago
2007
Springer
Recent studies have shown that programming in a Partition Global Address Space (PGAS) language can be more productive than programming in a message passing model. One reason for th...
167
click to vote
VAMOS
2007
Springer
16 years 13 days ago
2007
Springer
Goal models have been found to be effective for representing and analyzing variability at the early requirements level, by comprehensibly representing all alternative ways by whic...
132
click to vote
NSPW
2006
ACM
16 years 9 days ago
2006
ACM
Spyware, Adware, Bots. In each case, there is significant evidence that there is an increasing financial motivation behind the writing and distribution of these programs. In thi...