940 search results - page 28 / 188 » Local rely-guarantee reasoning |
POPL
2012
ACM
12 years 5 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
ICCBR
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
CSL
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
—In this paper the Self-Localization problem for Sensor Networks is addressed. Given a set of nodes deployed in an environment, self-localization consists of finding out the loc...
AINA
2007
IEEE
14 years 4 months ago
2007
IEEE
A new system named Home-Explorer is proposed to search and localize physical artifacts in smart indoor environment. Our view is object-centered and sensors are attached to several...