Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang,...
Industrial diagnostics is an important application area for many AI formalisms. Temporal diagnostics, based on analyzing temporal relations between values of crucial variables, is...
Information technology (IT) support for managing competence is based on a rationalistic view of competence. While these competence systems might work in rationalistic organization...
Rikard Lindgren, Dick Stenmark, Magnus Bergquist, ...
With current projections regarding the growth of Internet sales, online retailing raises many questions about how to market on the Net. While convenience impels consumers to purch...
George Prassas, Katherine C. Pramataris, Olga Papa...