1451 search results - page 130 / 291 » Case Studies in Model Manipulation for Scientific Computing |
151
click to vote
ALMOB
2006
15 years 4 months ago
2006
Background: An important challenge in eukaryotic gene prediction is accurate identification of alternatively spliced exons. Functional transcripts can go undetected in gene expres...
139
click to vote
EOR
2007
15 years 4 months ago
2007
The motivation of this paper is to obtain an analytical closed form of a quadratic objective function arising from a stochastic decision process with bivariate exponential probabi...
166
click to vote
CCGRID
2007
IEEE
15 years 11 months ago
2007
IEEE
The “CyberBridges” pilot project is an innovative model for creating a new generation of scientists and engineers who are capable of fully integrating cyberinfrastructure into...
117
click to vote
JSS
2007
15 years 4 months ago
2007
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annota...
307
click to vote
SPIN
2012
Springer
13 years 7 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...