22698 search results - page 3926 / 4540 » Modeling in Software Engineering |
202
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
Given observed data and a collection of parameterized candidate models, a 1- confidence region in parameter space provides useful insight as to those models which are a good fit t...
202
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
202
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
An important problem in data mining is detecting changes in large data sets. Although there are a variety of change detection algorithms that have been developed, in practice it c...
212
click to vote
CSFW
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
192
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...