3713 search results - page 449 / 743 » Constructing a Calculus of Programs |
157
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
106
click to vote
JSS
2002
15 years 3 months ago
2002
Most software development errors are caused by incorrect or ambiguous requirement specifications gathered during the requirement elicitation and analysis phase. For the past decad...
117
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
We consider the problem of efficiently finding an additive C-spanner of an undirected unweighted graph G, that is, a subgraph H so that for all pairs of vertices u, v, δH (u, v) ...
108
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
177
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...