9931 search results - page 202 / 1987 » Generative Modeling by PRISM |
133
click to vote
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
132
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
140
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
126
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—Distribution system operating environments are changing rapidly. For example, with the steady and significant increase in dispersed generation expected, planning and operating a...
142
Voted
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...