1632 search results - page 82 / 327 » Topological Analysis of Refinement |
VLDB
2005
ACM
15 years 4 months ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
APLAS
2008
ACM
15 years 20 days ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
102
click to vote
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
ECIS
2001
15 years 1 days ago
2001
Based on the analysis of four case vignettes the architecture and design principles of international information systems are explored. A two-dimensional topology