2742 search results - page 439 / 549 » Deriving Category Theory from Type Theory |
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Motivated by recent emerging systems that can leverage partially correct packets in wireless networks, this paper investigates the novel concept of error estimating codes (EEC). W...
SIGECOM
2010
ACM
13 years 9 months ago
2010
ACM
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...
AHSWN
2010
13 years 9 months ago
2010
Considerations of realistic channel dynamics motivate the design of a new breed of opportunistic schemes, such as opportunistic transmission, scheduling and routing. Compared to t...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
: This paper presents a novel encryption-less algorithm to enhance security in transmission of data in networks. The algorithm uses an intuitively simple idea of a `jigsaw puzzle&#...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...