2850 search results - page 485 / 570 » On Timed Models and Full Abstraction |
88
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— This paper considers two issues arising in an integrated IEEE 802.16e/802.11 network: 1) finding a possible network, which mobile station (MSTA) can switch to, and 2) ...
116
click to vote
SPAA
2004
ACM
15 years 6 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...
106
click to vote
CICLING
2001
Springer
15 years 5 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
112
click to vote
DC
2008
15 years 23 days ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
106
Voted
JGO
2008
15 years 5 days ago
2008
Abstract In this paper we present an evolutionary variational inequality model of vaccination strategies games in a population with a known vaccine coverage profile over a certain ...