1288 search results - page 44 / 258 » On Analysis of Design Component Contracts: A Case Study |
ITS
2000
Springer
15 years 3 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
201
click to vote
FAST
2011
14 years 3 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
107
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Component-based enterprise systems often suffer from performance issues as a result of poor system design. In this paper, we propose a framework to automatically detect, assess an...
IBPRIA
2003
Springer
15 years 5 months ago
2003
Springer
—Independent component analysis (ICA) has recently been proposed as a tool to unmix hyperspectral data. ICA is founded on two assumptions: 1) the observed spectrum vector is a li...
ANTSW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Mobile ad hoc networks are a class of highly dynamic networks. In previous work, we developed a new routing algorithm, called AntHocNet, for these challenging network env...