10669 search results - page 1802 / 2134 » Software - Implemented Self-healing System |
191
click to vote
IJWET
2008
15 years 5 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
162
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
163
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
SMTābuilding ļ¬exible yet efļ¬cient abstraction/reļ¬nement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23ā37, February 2010. Wolfgang Hab...
174
click to vote
JSS
2010
15 years 5 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-speciļ¬c design vocabulary and a set of constrai...
137
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
This report is a companion to the paper āRefactoring References for Library Migrationā published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...