9405 search results - page 1314 / 1881 » Computing a Model of Set Theory |
168
click to vote
CSCW
2004
ACM
16 years 15 days ago
2004
ACM
This paper reports from a study of Norwegian medical emergency call (AMK) centres, in which advanced radio and telephone communication technologies are handled by a team of nurses...
200
click to vote
ESA
2004
Springer
16 years 14 days ago
2004
Springer
We introduce a problem directly inspired by its application to DWDM (dense wavelength division multiplexing) network design. We are given a set of demands to be carried over a netw...
216
click to vote
DIALM
2003
ACM
16 years 10 days ago
2003
ACM
We study topology control problems in ad hoc networks, where network nodes get to choose their power levels in order to ensure desired connectivity properties. Unlike most other w...
206
click to vote
DIALM
2003
ACM
16 years 10 days ago
2003
ACM
We consider the problem of maximizing the lifetime of a given multicast connection in a wireless network of energyconstrained (e.g. battery-operated) nodes, by choosing ideal tran...
234
click to vote
CIE
2010
Springer
15 years 12 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...