Sciweavers

7366 search results - page 545 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
IEEEARES
2010
IEEE
16 years 1 months ago
A Semi-Markov Survivability Evaluation Model for Intrusion Tolerant Database Systems
—Survivability modeling and evaluation have gained increasing importance. Most existing models assume that the distributions for transitions between states are exponential. Howev...
Alex Hai Wang, Su Yan, Peng Liu
SCAM
2005
IEEE
16 years 15 days ago
Measuring the Impact of Friends on the Internal Attributes of Software Systems
Differing views have been expressed on the appropriateness of the friend construct in the design and implementation of object-oriented software in C++. However, little empirical a...
Michael English, Jim Buckley, Tony Cahill, Kristia...
EMSOFT
2003
Springer
16 years 4 days ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
ICRA
2002
IEEE
188views Robotics» more  ICRA 2002»
15 years 12 months ago
Control Architecture and Experiment of a Situated Robot System for Interactive Assembly
We present the development of and experiment with a robot system showing cognitive capabilities of children of three to four years. We focus on two topics: assembly by two hands a...
Jianwei Zhang, Alois Knoll
TOH
2010
88views more  TOH 2010»
15 years 5 months ago
Review of Designs for Haptic Data Visualization
—There are many different uses for haptics, such as training medical practitioners, teleoperation or navigation of virtual environments. This review focuses on haptic methods tha...
Sabrina A. Panëels, Jonathan C. Roberts