Sciweavers

5243 search results - page 26 / 1049
» Reasoning About Strategies
Sort
View
TARK
2009
Springer
14 years 3 months ago
Reasoning about knowledge of unawareness revisited
Joseph Y. Halpern, Leandro Chaves Rêgo
LPAR
2004
Springer
14 years 1 months ago
Reasoning About Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
BIRTHDAY
2009
Springer
14 years 3 months ago
Reasoning About Alternative Requirements Options
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
Axel van Lamsweerde
RR
2007
Springer
14 years 2 months ago
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...