1304 search results - page 226 / 261 » Model-Driven Engineering for Requirements Analysis |
129
click to vote
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
108
click to vote
SADM
2011
14 years 6 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
101
click to vote
TCBB
2010
14 years 6 months ago
2010
Modern biology has moved from a science of individual measurements to a science where data are collected on an industrial scale. Foremost, among the new tools for biochemistry are ...
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Meeting timing constraint is one of the most important issues for modern design automation tools. This situation is exacerbated with the existence of process variation. Current hi...
102
click to vote
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...