2067 search results - page 163 / 414 » Modeling and Simulation of Operating System Behavior |
180
click to vote
KDD
2010
ACM
15 years 4 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
172
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
153
click to vote
ICONS
2008
IEEE
16 years 14 days ago
2008
IEEE
— Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and sys...
164
click to vote
MICAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
169
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...