6474 search results - page 1045 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
346
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
233
click to vote
CASES
2008
ACM
15 years 9 months ago
2008
ACM
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
225
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
Within a long-term distributed systems project we repeatedly stumbled across the well-known yet difficult question to either implement from scratch or comprehend and adapt existin...
192
click to vote
SIGSOFT
2004
ACM
16 years 20 days ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
205
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
Web search engines are facing formidable performance challenges as they need to process thousands of queries per second over billions of documents. To deal with this heavy workloa...