900 search results - page 148 / 180 » A Tool-Supported Approach to Testing UML Design Models |
BMCBI
2006
13 years 7 months ago
2006
Background: Gene regulation and metabolic reactions are two primary activities of life. Although many works have been dedicated to study each system, the coupling between them is ...
INFORMATICALT
2007
13 years 7 months ago
2007
The innovations and improvements in digital imaging sensors and scanners, computer modeling, haptic equipments and e-learning technology, as well as the availability of many powerf...
MMSEC
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
SAFECOMP
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
GLVLSI
2010
IEEE
14 years 24 days ago
2010
IEEE
Researchers are looking for alternatives to overcome the upcoming limits of conventional hardware technologies. Reversible logic thereby established itself as a promising directio...