11345 search results - page 1685 / 2269 » Foundations of Computer Science |
171
click to vote
LICS
2006
IEEE
16 years 13 days ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
186
Voted
VL
2006
IEEE
16 years 13 days ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
172
click to vote
WECWIS
2006
IEEE
16 years 13 days ago
2006
IEEE
Iterative Combinatorial Auctions (ICA) have been getting increasing attention in computer science and economics, as they provide an efficient solution to resource allocation prob...
153
click to vote
ACRI
2006
Springer
16 years 13 days ago
2006
Springer
on Theory: Extended Abstract Natalie Fridman and Gal Kaminka Bar Ilan University, Israel The MAVERICK Group Computer Science Department {fridman,galk}cs.biu.ac.il Abstract. Modelin...
169
click to vote
APLAS
2006
ACM
16 years 12 days ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...