875 search results - page 128 / 175 » Reasoning about Knowledge and Continuity |
131
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
193
click to vote
KI
1998
Springer
15 years 10 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
147
click to vote
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
191
click to vote
GROUP
2007
ACM
15 years 9 months ago
2007
ACM
One of the reasons large-scale software development is difficult is the number of dependencies that software engineers face. These dependencies create a need for communication and...
167
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...