5159 search results - page 186 / 1032 » Structural Testing of Executables |
195
click to vote
ET
2000
15 years 6 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
176
click to vote
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 5 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
178
click to vote
ARGMAS
2005
Springer
16 years 14 days ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
154
click to vote
ECIS
2001
15 years 8 months ago
2001
Knowledge is now recognized as the key differentiating resource among firms. The ability to integrate widely held knowledge to derive new products and services constitutes a meta-...
173
click to vote
UAI
2001
15 years 8 months ago
2001
An instrument is a random variable that is uncorrelated with certain (unobserved) error terms and, thus, allows the identification of structural parameters in linear models. In no...