2850 search results - page 307 / 570 » On Timed Models and Full Abstraction |
202
click to vote
PE
2010
Springer
15 years 5 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
198
Voted
LSSC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
191
Voted
KDD
2008
ACM
16 years 7 months ago
2008
ACM
We analyze a massive social network, gathered from the records of a large mobile phone operator, with more than a million users and tens of millions of calls. We examine the distr...
240
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
We consider a wireless sensor network in which sensors are grouped into clusters, each with its own cluster head (CH). Each CH collects data from sensors in its cluster and relays...
164
click to vote
HYBRID
2007
Springer
16 years 28 days ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...