216 search results - page 9 / 44 » Modeling and Automated Containment of Worms |
DATE
2002
IEEE
14 years 18 days ago
2002
IEEE
Models meant for logic verification and simulation are often used for ATPG. For custom digital circuits, these models contain many tristate devices, which leads to lower fault co...
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
NAR
2007
13 years 7 months ago
2007
CellCircuits (http://www.cellcircuits.org) is an openaccess database of molecular network models, designed to bridge the gap between databases of individual pairwise molecular int...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
HAPTICS
2003
IEEE
14 years 28 days ago
2003
IEEE
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...