Sciweavers

1860 search results - page 119 / 372
» tools 2009
Sort
View
138
Voted
LORI
2009
Springer
15 years 7 months ago
First-Order Logic Formalisation of Arrow's Theorem
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
Umberto Grandi, Ulle Endriss
213
Voted
ECOOP
2009
Springer
16 years 1 months ago
MAPO: Mining and Recommending API Usage Patterns
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei
108
Voted
IWPC
2009
IEEE
15 years 7 months ago
Resumption strategies for interrupted programming tasks
Interruptions are a daily reality for professional programmers. Unfortunately, the strategies programmers use to recover lost knowledge and resume work have not yet been well stud...
Chris Parnin, Spencer Rugaber
COMAD
2009
15 years 2 months ago
Defect Analytics: OLAP for Delivery Excellence
Most defect-tracking systems provide canned reports and the ability to create custom reports. These reports provide a snapshot of the defects in the system and allow different typ...
Suhas Mallya, Vidya Rao
123
Voted
DBSEC
2009
124views Database» more  DBSEC 2009»
15 years 2 months ago
Towards System Integrity Protection with Graph-Based Policy Analysis
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn