882 search results - page 88 / 177 » Allowing State Changes in Specifications |
146
click to vote
RECOMB
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Contemporary inferences about evolution occasionally involve analyzing infinitely large feature spaces, requiring specific algorithmic techniques. We consider parsimony a...
171
Voted
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
150
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
140
click to vote
CG
2010
Springer
15 years 6 months ago
2010
Springer
Dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) of the breast has become an important image modality for early breast cancer detection. In comparison to conventiona...
135
click to vote
ASE
2005
15 years 6 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...