10916 search results - page 279 / 2184 » On Constructive Connectives and Systems |
198
Voted
IAW
2003
IEEE
16 years 1 days ago
2003
IEEE
– Computer Networks connected to the Internet continue to be compromised and exploited by hackers. This is in spite of the fact that many networks run some type of security mecha...
177
click to vote
PODC
1990
ACM
15 years 10 months ago
1990
ACM
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...
165
click to vote
FSS
2006
15 years 6 months ago
2006
er is an extended abstract of my paper [12] published in Fuzzy Set and Systems. We start from a residuated lattice L and a monoid M, and we define a Galois connection from the lat...
155
click to vote
DSN
2005
IEEE
16 years 11 days ago
2005
IEEE
ST-TCP (Server fault-Tolerant TCP) is an extension of TCP to tolerate TCP server failures. Server fault tolerance is provided by using an active-backup server that keeps track of ...
207
Voted
ICA3PP
2007
Springer
16 years 28 days ago
2007
Springer
Ubiquitous communications require wireless networking and infrastructure network support. The first step is to look at how the different available technologies will integrate and w...