4770 search results - page 331 / 954 » Flexible Type Analysis |
172
Voted
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Agile software development methods have caught the attention of software engineers and researchers worldwide. Scientific research is yet scarce. This paper reports results from a ...
196
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
204
Voted
ACHI
2009
IEEE
16 years 2 months ago
2009
IEEE
Designing CSCW systems that support the widely varying needs of targeted users is difficult. There is no silver bullet technology that enables users to effectively collaborate wit...
140
Voted
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...
193
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
Data cubes as employed by On-Line Analytical Processing (OLAP) play a key role in many application domains. The analysis typically involves to compare categories of different hie...