3557 search results - page 145 / 712 » Authoring Presentation for OpenMath |
165
click to vote
FUIN
2000
15 years 6 months ago
2000
We consider the problem of dependable computation with multiple inputs. The goal is to study when redundancy can help to achieve survivability and when it cannot. We use AND/OR gra...
187
click to vote
INFSOF
2000
15 years 6 months ago
2000
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
149
click to vote
COMPSEC
2002
15 years 6 months ago
2002
In this paper an insider attack is considered to be deliberate misuse by those who are authorized to use computers and networks. Applying this definition in real-life settings to ...
160
click to vote
MOC
2000
15 years 6 months ago
2000
This paper continues earlier work by the same author concerning the stability and B-convergence properties of multistep Runge-Kutta methods for the numerical solution of nonlinear ...
149
click to vote
CAD
1998
Springer
15 years 6 months ago
1998
Springer
• In several application fields, large sized, free-form objects of various soft materials are widely used. Available layered prototyping technologies cannot be applied for fabri...