4814 search results - page 616 / 963 » Combining abstract interpreters |
178
click to vote
WSC
2007
15 years 8 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
160
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a novel dynamically reconfigurable hardware architecture for lossless compression and its optimization for space imagery. The proposed system makes us...
195
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Semantic Web Services (SWS) aim to alleviate Web service limitations, by combining Web service technologies with the potential of Semantic Web. Several open issues have t...
190
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
173
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...