417 search results - page 54 / 84 » Results on Reasoning about Updates in Transaction Logic |
101
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
203
Voted
POPL
2008
ACM
16 years 26 days ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
130
click to vote
AAMAS
2005
Springer
15 years 13 days ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
115
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
ECCV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...