7943 search results - page 1324 / 1589 » A calculus for costed computations |
180
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
— In opportunistic networks, end-to-end paths between two communicating nodes are rarely available. In such situations, the nodes might still copy and forward messages to nodes t...
163
click to vote
IOR
2010
15 years 5 months ago
2010
In many applications involving make-to-order or time-sensitive (e.g., perishable, seasonal) products, finished orders are often delivered to customers immediately or shortly after...
178
click to vote
ISR
2010
15 years 5 months ago
2010
One of the distinctive features of sites on the Internet is their ability to gather enormous amounts of information regarding their visitors, and use this information to enhance a...
223
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
179
click to vote
TRANSCI
2008
15 years 5 months ago
2008
In the aftermath of a large disaster, the routing of vehicles carrying critical supplies can greatly impact the arrival times to those in need. Since it is critical that the deliv...