6474 search results - page 1238 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
198
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
218
click to vote
Publication
We present a novel reranking framework for Content Based Image Retrieval (CBIR) systems based on con-textual dissimilarity measures. Our work revisit and extend the method of Perro...
158
click to vote
SAC
2010
ACM
16 years 27 days ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
166
click to vote
SIGCSE
2010
ACM
16 years 27 days ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
175
click to vote
CSE
2009
IEEE
16 years 24 days ago
2009
IEEE
—When the Internet was conceived, its fundamental operation was envisioned to be point-to-point communication allowing anybody to talk directly to anybody. With its increasing su...