4595 search results - page 570 / 919 » Reasoning about Plans |
181
click to vote
EGOV
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. As the e-government domain is about to become a field of application for Semantic Web technologies, the actors involved still lack reasoning to decide on critical issues ...
188
Voted
FM
2003
Springer
16 years 2 days ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
194
click to vote
ICALP
2003
Springer
16 years 2 days ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
183
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Error propagation is a central problem in grid computing. We re-learned this while adding a Java feature to the Condor computational grid. Our initial experience with the system w...
152
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe a model-based height controller for a hopping robot with a pneumatically powered leg. The controller explicitly models variation in the leg angle and height. Using an ...