208 search results - page 19 / 42 » Consistency Checking for Component Reuse in Open Systems |
131
Voted
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
108
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...
123
Voted
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
140
Voted
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
107
Voted
ICDAR
2011
IEEE
14 years 1 months ago
2011
IEEE
—This paper describes embedding a mathematical formula recognition module into the OCR system OCRopus aiming at developing a OCR system for scientific and technical documents wh...