5707 search results - page 767 / 1142 » Symbolic Simulation - Techniques and Applications |
168
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Since navigation systems and tracking devices are becoming ubiquitous in our daily life, the development of efficient methods for processing massive sets of mobile objects are of ...
173
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...
157
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In many applications the traffic traversing the network has inter-packet dependencies due to application-level encoding schemes. For some applications, e.g., multimedia...
191
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
205
click to vote
P2P
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper presents a systematic performance analysis of pull P2P video streaming systems for live applications, providing guidelines for the design of the overlay topol...