Sciweavers

6014 search results - page 108 / 1203
» Parametric Analysis of Computer Systems
Sort
View
EUROSSC
2006
Springer
15 years 10 months ago
Toward Wide Area Interaction with Ubiquitous Computing Environments
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
Michael Blackstock, Rodger Lea, Charles Krasic
IPSN
2011
Springer
14 years 9 months ago
Sensor networks for the detection and tracking of radiation and other threats in cities
This paper presents results from experiments, mathematical analysis, and simulations of a network of static and mobile sensors for detecting threats on city streets and in open ar...
Annie H. Liu, Julian J. Bunn, K. Mani Chandy
ICPR
2006
IEEE
16 years 7 months ago
Detection of presynaptic terminals on dendritic spines in double labeling confocal images
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...
Andreas Herzog, Bernd Michaelis, Gerald Krell, Kat...
CDC
2009
IEEE
113views Control Systems» more  CDC 2009»
15 years 11 months ago
L2-induced gain analysis for a class of switched systems
— This paper addressed the computation of the L2-induced gain for a class of switched systems. The main contribution of the paper is to completely characterize the induced gain o...
Kenji Hirata, João Pedro Hespanha
CCS
2009
ACM
16 years 7 months ago
Expressive policy analysis with enhanced system dynamicity
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra R...