4636 search results - page 247 / 928 » Modelling and Validation with VipTool |
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
- The thumb is essential to the hand’s function in grasping and manipulating objects. Previous anthropomorphic robot hands have thumbs that are biologically-inspired but kinemati...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
AMOST
2005
ACM
14 years 1 months ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
UM
2005
Springer
14 years 1 months ago
2005
Springer
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...