4209 search results - page 289 / 842 » Abstract Dialectical Frameworks |
173
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Intelligent web site is a new portal generation, able to improve its structure and content based on the analysis of the user behavior. This paper focuses on modeling the ...
162
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
198
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
157
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
170
click to vote
ICEIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract: Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of ...