290 search results - page 37 / 58 » A Metamodeling Approach for Reasoning about Requirements |
136
click to vote
FAC
2010
14 years 11 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
128
click to vote
VLDB
2007
ACM
15 years 8 months ago
2007
ACM
Privacy is an important issue in data publishing. Many organizations distribute non-aggregate personal data for research, and they must take steps to ensure that an adversary cann...
100
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
123
click to vote
ISI
2008
Springer
15 years 1 months ago
2008
Springer
Identity Management plays a crucial role in many application contexts, including e-governments, e-commerce, business intelligence, investigation, and homeland security. The variet...
147
click to vote
ARGMAS
2007
Springer
15 years 6 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...