10159 search results - page 526 / 2032 » System Design Validation Using Formal Models |
168
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
160
click to vote
LCPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
152
click to vote
ECHT
1992
15 years 10 months ago
1992
This paper discusses experiences and lessons learned from the design of an open hypermedia system, one that integrates applications and data not "owned" by the hypermedi...
159
click to vote
JSS
2000
15 years 6 months ago
2000
The first goal of this paper is to empirically explore the relationships between existing object-oriented coupling, cohesion, and inheritance measures and the probability of fault...
183
click to vote
AIEDU
2006
15 years 6 months ago
2006
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...