Sciweavers

6050 search results - page 984 / 1210
» Information In The Non-Stationary Case
Sort
View
FORTE
2004
13 years 11 months ago
Witness and Counterexample Automata for ACTL
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
IASTEDSEA
2004
13 years 11 months ago
A software reliability model for web services
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,...
APPINF
2003
13 years 11 months ago
Industrial Diagnostics using Algebra of Uncertain Temporal Relations
Industrial diagnostics is an important application area for many AI formalisms. Temporal diagnostics, based on analyzing temporal relations between values of crucial variables, is...
Vladimir Ryabov, Vagan Y. Terziyan
ECIS
2001
13 years 11 months ago
Rethinking competence systems for innovative organizations
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, ...
ECIS
2001
13 years 11 months ago
Dynamic Recommendations in Internet Retailing
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...