523 search results - page 87 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Replications play an important role in verifying empirical results. In this paper, we discuss our experiences performing a literal replication of a human subjects experiment that ...
UM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
SIGMETRICS
2009
ACM
14 years 3 months ago
2009
ACM
We consider the problem of admission control in resource sharing systems, such as web servers and transaction processing systems, when the job size distribution has high variabili...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
OLTP (On-Line Transaction Processing) is an important business system sector in various traditional and emerging online services. Due to the increasing number of users, OLTP syste...
KDD
2009
ACM
2009
ACM
Classification of software behaviors for failure detection: a discriminative pattern mining approach
14 years 9 months ago
Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs an...