1426 search results - page 20 / 286 » A theory of goal-oriented communication |
123
click to vote
TACS
1994
Springer
15 years 5 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
129
click to vote
FORTE
1997
15 years 2 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
129
click to vote
INFOCOM
1997
IEEE
15 years 5 months ago
1997
IEEE
Rate-based feedback congestion control has been proposed as a form of traffic management for available bit rate traffic in ATM networks. This paper discusses applying linear con...
103
click to vote
ITA
2008
15 years 1 months ago
2008
We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable. 1...
132
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract— We consider a wireless broadcast station that transmits packets to multiple users. The packet requests for each user may overlap, and some users may already have certai...