290 search results - page 27 / 58 » A Metamodeling Approach for Reasoning about Requirements |
KR
1998
Springer
15 years 1 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
ICDE
2010
IEEE
15 years 2 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
AAAI
2006
14 years 11 months ago
2006
Both explanation-based and inductive learning techniques have proven successful in a variety of distributed domains. However, learning in multi-agent systems does not necessarily ...
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
PVLDB
2008
14 years 9 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...