1432 search results - page 198 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
143
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
138
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
131
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
182
click to vote
KDD
2003
ACM
16 years 4 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
141
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...