419 search results - page 72 / 84 » An Automated Approach for Identifying Potential Vulnerabilit... |
WELCOM
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We introduce FAucS, a software testbed for studying automated agent bidding strategies in simulated auctions, specifically the United States FCC wireless frequency spect...
ICCBR
2003
Springer
14 years 21 days ago
2003
Springer
This paper is an empirical investigation into the effectiveness of linear scaling adaptation for case-based software project effort prediction. We compare two variants of a linea...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
PDP
2007
IEEE
14 years 1 months ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...
21
Voted
PLDI
2010
ACM
14 years 17 days ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...