5234 search results - page 100 / 1047 » Method Components - Rationale Revealed |
INFSOF
2006
14 years 10 months ago
2006
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
AAAI
2006
14 years 11 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
IJSWIS
2007
14 years 9 months ago
2007
In this paper, we present MELIS (Meaning Elicitation and Lexical Integration System), a method and a software tool for enabling an incremental process of automatic annotation of lo...
ENTCS
2010
14 years 10 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...