2473 search results - page 80 / 495 » The Logic of Communication Graphs |
118
Voted
DIAGRAMS
2000
Springer
15 years 7 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
111
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
127
click to vote
ISCC
2002
IEEE
15 years 8 months ago
2002
IEEE
—In this paper we consider the problem of routing the lightpaths of a logical topology of a WDM network on an arbitrary physical topology, such that the logical topology remains ...
113
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we examine the leader-to-follower ratio needed to maintain connectivity in a leader-follower multiagent network with proximity based communication topology. In th...
125
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We investigate a prototypical agent-based model, the Naming Game, on random geometric networks. The Naming Game is a minimal model, employing local communications that captures th...