940 search results - page 157 / 188 » Local rely-guarantee reasoning |
115
click to vote
VIIP
2001
15 years 1 months ago
2001
Enhanced biomedical image scanning technology and growing network accessibility have created a need for faster and more efficient data exchange over the Internet and in closed net...
119
click to vote
GIS
2008
ACM
15 years 27 days ago
2008
ACM
We describe a prototype software system for investigating novel human-computer interaction techniques for 3-D geospatial data. This system, M4-Geo (Multi-Modal Mesh Manipulation o...
131
click to vote
TLDI
2010
ACM
15 years 13 hour ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
104
click to vote
ECAI
2010
Springer
15 years 9 hour ago
2010
Springer
Abstract. Textual reuse is an integral part of textual case-based reasoning (TCBR) which deals with solving new problems by reusing previous similar problem-solving experiences doc...
ENTCS
2008
14 years 12 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...