1173 search results - page 121 / 235 » On the Compositionality of Round Abstraction |
193
Voted
POPL
2005
ACM
16 years 1 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...
97
Voted
AUSAI
2009
Springer
15 years 7 months 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...
87
Voted
ICTAC
2009
Springer
15 years 7 months 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...
108
click to vote
RP
2009
Springer
15 years 7 months 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...
75
Voted
DEBS
2009
ACM
15 years 7 months 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, ...