2694 search results - page 299 / 539 » Frege's New Science |
198
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...
154
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
201
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
We study the question of basing symmetric key cryptography on weak secrets. In this setting, Alice and Bob share an n-bit secret W, which might not be uniformly random, but the ad...
187
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
181
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
The processes by which communities come together, attract new members, and develop over time is a central research issue in the social sciences -- political movements, professiona...