7206 search results - page 1237 / 1442 » Using a Hypermedia System for Systems Engineering |
254
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
175
click to vote
ICFP
2006
ACM
16 years 3 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...
170
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...
124
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
150
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—With the abundance of location-aware portable devices such as cellphones and PDAs, a new emerging application is to use this pervasive computing platform to learn about the wher...