186 search results - page 29 / 38 » Traffic Measurements for Link Dimensioning - A Case Study |
ICALP
2010
Springer
14 years 11 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
CRITIS
2007
14 years 11 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...
JCT
2000
14 years 9 months ago
2000
Givena Hermitian,non-negativede nitekernelK and a character of the symmetric group on n letters, de ne the corresponding immanant function K x1;::: ;xn := P Qn i=1 Kxi;x i, where ...
Publication
Indoor pedestrian networks are a facet of the built environment in many cities around the world. They can be built for many reasons, including separating pedestrians from motor veh...
AAAI
2008
14 years 12 months ago
2008
A key trend in (electronic) commerce is a demand for higher levels of expressiveness in the mechanisms that mediate interactions. We develop a theory that ties the expressiveness ...