426 search results - page 69 / 86 » Towards Verifying Model Transformations |
KES
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents an effective strategy to extract the buildings and to reconstruct 3-D buildings using high-resolution multispectral stereo satellite images. Proposed scheme con...
CSFW
1999
IEEE
14 years 2 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
EKAW
2006
Springer
14 years 1 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
POPL
2010
ACM
13 years 10 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
When exposed to environmental noise, speakers adjust their speech production to maintain intelligible communication. This phenomenon, called Lombard effect (LE), is known to consi...