4595 search results - page 244 / 919 » Reasoning about Plans |
344
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
165
click to vote
CL
2006
Springer
15 years 7 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
159
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— One of the common applications for outdoor robots is to follow a path in large scale unknown environments. This task is challenging due to the intensive memory requirements to ...
216
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
In self-adaptive systems, metadata about resources in the system (e.g., services, nodes) must be dynamically published, updated, and removed. Current middleware approaches use sta...
240
click to vote
HICSS
2003
IEEE
16 years 17 days ago
2003
IEEE
ERP implementation issues have been given much attention since two decades ago due to its low implementation success. Nearly 90 percent of ERP implementations are late or over bud...