6031 search results - page 399 / 1207 » Communicating Transaction Processes |
121
Voted
SIGCOMM
1993
ACM
15 years 10 months ago
1993
ACM
The paper considers a network with many apparently-independent periodic processes and discusses one method by which these processes can inadvertently become synchronized. In parti...
187
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...
209
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
150
click to vote
SRDS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...
175
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Some agile voices have been raised against extensive documentation. They advocate its sparse use and production. In this paper, we report from agile evolution and maintenance tren...