900 search results - page 73 / 180 » On the observational theory of the CPS-calculus |
172
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
In this paper, we utilize a predator-prey model in order to identify characteristics of single-objective variation operators in the multi-objective problem domain. In detail, we a...
139
click to vote
INFOCOM
2006
IEEE
16 years 9 days ago
2006
IEEE
— Studying transfer opportunities between wireless devices carried by humans, we observe that the distribution of the inter-contact time, that is the time gap separating two cont...
178
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
177
click to vote
COCOON
2005
Springer
15 years 12 months ago
2005
Springer
To monitor an electric power system by placing as few phase measurement units (PMUs) as possible is closely related to the famous vertex cover problem and domination problem in gr...
179
click to vote
IMC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we take the sample-path approach in analyzing the asymptotic behavior of single-hop bandwidth estimation under bursty cross-traffic and show that these results are ...