1937 search results - page 130 / 388 » Starting B Specifications from Use Cases |
165
click to vote
JSA
2008
15 years 4 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
178
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
The input to an algorithm that learns a binary classifier normally consists of two sets of examples, where one set consists of positive examples of the concept to be learned, and ...
145
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
Classifiers that refrain from classification in certain cases can significantly reduce the misclassification cost. However, the parameters for such abstaining classifiers are ofte...
122
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Data compression techniques such as null suppression and dictionary compression are commonly used in today’s database systems. In order to effectively leverage compression, it...
122
click to vote
ICECCS
2008
IEEE
15 years 11 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...