460 search results - page 63 / 92 » On Role Logic |
OTM
2004
Springer
14 years 1 months ago
2004
Springer
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
DAWAK
2003
Springer
14 years 28 days ago
2003
Springer
Web warehousing plays a key role in providing the managers with up-to-date and comprehensive information about their business domain. On the other hand, since XML is now a standard...
ECMDAFA
2010
Springer
14 years 15 days ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
TYPES
1998
Springer
13 years 12 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...