3733 search results - page 178 / 747 » Logics of communication and change |
ISCC
2007
IEEE
15 years 7 months ago
2007
IEEE
Standardization efforts have become an increasingly central issue as business interoperability demands mount. However research on the development process of standards is limited. ...
106
click to vote
ECAL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
SIGCOMM
1994
ACM
15 years 5 months ago
1994
ACM
The Fairisle project was concerned with ATM in the local area. An earlier paper 9] described the preliminary work and plans for the project. Here we present the experiences we hav...
125
click to vote
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
111
click to vote
SIGCOMM
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we examine changes in Internet inter-domain traffic demands and interconnection policies. We analyze more than 200 Exabytes of commercial Internet traffic over a tw...