4595 search results - page 146 / 919 » Reasoning about Plans |
186
Voted
IWCMC
2006
ACM
16 years 1 months ago
2006
ACM
Past research studying the operations of TCP over wireless/mobile ad hoc networks has shown that TCP cannot be adopted as-is for use in mobile ad hoc networks (MANET) to achieve r...
181
click to vote
GRID
2003
Springer
16 years 7 days ago
2003
Springer
Computational Grids have the potential to become the main execution platform for high performance and distributed applications. However, such systems are extremely complex and pro...
155
click to vote
AIPS
2007
15 years 9 months ago
2007
Relaxations based on (either complete or partial) ignoring delete effects of the actions provide the basis for some seminal classical planning heuristics. However, the palette of ...
182
Voted
CONCUR
2003
Springer
16 years 8 days ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
191
Voted
CONCUR
2004
Springer
16 years 13 days ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.