1746 search results - page 174 / 350 » Residual for Component Specifications |
111
click to vote
FMOODS
2006
15 years 5 months ago
2006
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment beha...
157
click to vote
INTERNET
2006
15 years 4 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
124
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
163
click to vote
ENTCS
2010
15 years 1 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
160
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: When analyzing microarray gene expression data, missing values are often encountered. Most multivariate statistical methods proposed for microarray data analysis canno...