5639 search results - page 997 / 1128 » Timed Abstract Non-interference |
BIOWIRE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this chapter we survey the most recent proposals for modelling user mobility in mobile pervasive networks, and specifically in opportunistic networks. We identify two...
153
click to vote
DCOSS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
114
click to vote
TAMC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Kernelizations are an important tool in designing fixed parameter algorithms for parameterized decision problems. We introduce an analogous notion for counting problems,...
121
Voted
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...
114
click to vote
GLOBECOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Virtual Output Queuing is widely used by highspeed packet switches to overcome head-of-line blocking. This is done by means of matching algorithms. In fixed-length VOQ...