1738 search results - page 179 / 348 » Leveraging open-source software in the design and developmen... |
129
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
129
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
167
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
120
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Repeat-rich regions such as centromeres receive less attention than their gene-rich euchromatic counterparts because the former are difficult to assemble and analyze. ...
122
click to vote
IH
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We have developed the first hardware and software (intellectual property) metering scheme that enables reliable low overhead proofs for the number of manufactured parts a...