2813 search results - page 82 / 563 » Formalizing Architectural Connection |
101
Voted
RIVF
2007
15 years 4 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
143
click to vote
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
116
Voted
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
161
Voted
FORTE
2009
15 years 11 days ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
120
Voted
PERCOM
2005
ACM
16 years 2 months ago
2005
ACM
Distribution of media in the fast growing world of digital stored content and multimedia supporting devices with connectivity, calls for a new media distribution architecture. The...