Sciweavers

22114 search results - page 289 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
CAISE
2003
Springer
16 years 14 days ago
Evaluation of the SRA Tool Using Data Mining Techniques
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
Andreas Gregoriades, Alistair G. Sutcliffe, Harala...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
16 years 20 days ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...
ICSE
2008
IEEE-ACM
16 years 7 months ago
The economy of collective attention for situated knowledge collaboration in software development
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...
Yunwen Ye, Kumiyo Nakakoji, Yasuhiro Yamamoto
WECWIS
2000
IEEE
94views ECommerce» more  WECWIS 2000»
15 years 11 months ago
E-Representative: A Scalability Scheme for E-Commerce
In order to meet the quality of service demanded by a growing number of online customers, e-commerce services need to use scalability techniques. This paper introduces the concept...
Wagner Meira Jr., Daniel A. Menascé, Virgil...