2954 search results - page 27 / 591 » Beyond |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Pedagogies such as the Personal Software Process (PSP) shift metrics definition, collection, and analysis from the organizational level to the individual level. While case study r...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Computer science is necessary but not sufficient to understand and overcome the problems we face in software engineering. We need to understand not only the properties of the soft...
ICS
2010
Tsinghua U.
14 years 6 months ago
2010
Tsinghua U.
: We study the design of mechanisms in combinatorial auction domains. We focus on settings where the auction is repeated, motivated by auctions for licenses or advertising space. W...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...