1173 search results - page 121 / 235 » On the Compositionality of Round Abstraction |
288
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
162
click to vote
AUSAI
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
147
click to vote
ICTAC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
182
click to vote
RP
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
146
click to vote
DEBS
2009
ACM
16 years 26 days ago
2009
ACM
Event processing has become the paradigm of choice in many monitoring and reactive applications. However, the understanding of events, their composition and level of abstraction, ...