3914 search results - page 263 / 783 » Automating SLA modeling |
DAC
2002
ACM
14 years 9 months ago
2002
ACM
In this paper, a new type of Petri net called Hierarchical Colored Hardware Petri net, to model real-delay switching activity for power estimation is proposed. The logic circuit i...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Abstract. Knowledge of brain aneurysm dimensions is essential in minimally invasive surgical interventions using Guglielmi Detachable Coils. These parameters are obtained in clinic...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
er abstract summarizes the Threat Modeling method based on Attacking Path Analysis (T-MAP) which quantifies and prioritizes security threats by calculating the total severity weig...