2473 search results - page 360 / 495 » The Logic of Communication Graphs |
186
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
163
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
176
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
Multi-homed, mobile wireless computing and communication devices can spontaneously form communities to logically combine and share the bandwidth of each other's wide-area com...
150
click to vote
ISN
2000
Springer
15 years 9 months ago
2000
Springer
Telecommunications network management has attracted a lot of attention in terms of research and standardisation in the last decade. TMN and TINA architectural frameworks try to add...
196
click to vote
SIGCOMM
1991
ACM
15 years 9 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...