7988 search results - page 1197 / 1598 » A Useful Undecidable Theory |
215
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Network calculus is a recently developed theory dealing with queuing systems found in computer networks with focus on service guarantee analysis. In the current network calculus...
167
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In multi-user multiple-input multiple-output (MUMIMO) systems, spatial multiplexing can be employed to increase the throughput without the need for multiple antennas and...
207
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
169
click to vote
AIMS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Many researchers have used game theory to study the problem of encouraging cooperation in peer-to-peer and mobile ad hoc networks, where resources are provided collective...
175
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Many agile projects require user interaction (UI) design, but the integration of UI design into agile development is not well understood. This is because both agile development an...