3914 search results - page 170 / 783 » Automating SLA modeling |
114
Voted
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
129
Voted
IEAAIE
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
107
Voted
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
117
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
114
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: The availability of genome sequences for many organisms enabled the reconstruction of several genome-scale metabolic network models. Currently, significant efforts are...