2152 search results - page 369 / 431 » On Automating the Calculus of Relations |
93
Voted
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
95
Voted
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
In smart item environments, multitude of sensors are applied to capture data about product conditions and usage to guide business decisions as well as production automation proces...
113
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
130
click to vote
CSMR
2004
IEEE
15 years 4 months ago
2004
IEEE
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
118
click to vote
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...