271 search results - page 15 / 55 » Observational Completeness on Abstract Interpretation |
83
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
110
click to vote
CAV
2009
Springer
15 years 1 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
92
Voted
AAAI
2012
12 years 12 months ago
2012
Pre-symptomatic drought stress prediction is of great relevance in precision plant protection, ultimately helping to meet the challenge of “How to feed a hungry world?”. Unfor...
ESORICS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the...