2943 search results - page 460 / 589 » Software Implementation of Synchronous Programs |
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
PEPM
2004
ACM
14 years 3 months ago
2004
ACM
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
ISQED
2003
IEEE
14 years 3 months ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
SIGSOFT
2009
ACM
14 years 2 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...