Sciweavers

1579 search results - page 171 / 316
» Simulation Model for Self-Adaptive Applications in Pervasive...
Sort
View
SACMAT
2011
ACM
14 years 7 months ago
xDAuth: a scalable and lightweight framework for cross domain access control and delegation
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
Masoom Alam, Xinwen Zhang, Kamran Khan, Gohar Ali
QEST
2010
IEEE
15 years 2 months ago
Fortuna: Model Checking Priced Probabilistic Timed Automata
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
Jasper Berendsen, David N. Jansen, Frits W. Vaandr...
ISCAS
2006
IEEE
86views Hardware» more  ISCAS 2006»
15 years 10 months ago
Fast timing analysis of plane circuits via two-layer CNN-based modeling
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
Yuichi Tanji, Hideki Asai, Masayoshi Oda, Yoshifum...
ICCS
2007
Springer
15 years 10 months ago
Data Assimilation in Multiscale Chemical Transport Models
In this paper we discuss variational data assimilation using the STEM atmospheric Chemical Transport Model. STEM is a multiscale model and can perform air quality simulations and p...
Lin Zhang, Adrian Sandu
ICRA
2002
IEEE
104views Robotics» more  ICRA 2002»
15 years 9 months ago
Robotic Acquisition of Deformable Models
We describe techniques for automatically acquiring observations of a deforming object and for estimating a model of the deformation from these observations. A robotic system was d...
Jochen Lang, Dinesh K. Pai, Robert J. Woodham