6941 search results - page 310 / 1389 » Testing as a Certification Approach |
138
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
143
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
110
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
In distributed systems that use active replication to achieve robustness, it is important to efficiently enforce consistency among replicas. The nonblocking mode helps to speed u...
106
Voted
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
—A principal challenge in modern computational finance is efficient portfolio design – portfolio optimization followed by decision-making. Optimization based on even the widely...
141
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...