7943 search results - page 1247 / 1589 » A calculus for costed computations |
183
click to vote
LOPSTR
2004
Springer
16 years 4 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
160
click to vote
MIDDLEWARE
2004
Springer
16 years 4 days ago
2004
Springer
Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse s on an abstract level is more beneficial than o...
168
click to vote
MWCN
2004
Springer
16 years 4 days ago
2004
Springer
Inter-vehicle communication is becoming increasingly important in recent years. Traditional research efforts on vehicular networks have been put into safety or infotainment applica...
184
click to vote
NPC
2004
Springer
16 years 4 days ago
2004
Springer
This paper is motivated by the problem of poor searching efficiency in decentralized peer-to-peer file-sharing systems. We solve the searching problem by considering and modeling t...
221
click to vote
PATAT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Service network design is critical to the profitability of express shipment carriers. In this paper, we consider the problem of designing the integrated service network ...