2661 search results - page 399 / 533 » Model Checking Performability Properties |
BIRTHDAY
2009
Springer
14 years 5 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—In this paper, we study link properties over dynamic radio channels based on analytical models and simulations. Specifically, channel variability and mobility are investigated ...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— Due to their panoramic field of view, catadioptric cameras are becoming ubiquitous in many robotics and computer vision applications. Catadioptric cameras with a unique viewpo...
ROBOCUP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
PODC
2005
ACM
14 years 3 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...