2231 search results - page 204 / 447 » Alternation as a programming paradigm |
149
click to vote
NSDI
2008
15 years 9 months ago
2008
Within the computer-science community, submitted conference papers are typically evaluated by means of rating, in two respects: First, individual reviewers are asked to provide th...
157
click to vote
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
166
click to vote
BNCOD
2006
15 years 8 months ago
2006
The Lixto project is an ongoing research effort in the area of Web data extraction. Whereas the project originally started out with the idea to develop a logic-based extraction lan...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— This paper explores optimization of paging and registration policies in cellular networks. Motion is modeled as a discrete-time Markov process, and minimization of the discount...
162
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...