549 search results - page 38 / 110 » Verification condition generation for conditional informatio... |
90
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
152
Voted
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
188
click to vote
IASTEDSE
2004
15 years 1 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
116
Voted
VMV
2001
15 years 1 months ago
2001
Depth reconstruction or acquisition with a 3-D camera results in a video sequence where each pixel of a frame is annotated with a depth value. We propose an approach to combine th...
104
click to vote
JIPS
2006
15 years 16 days ago
2006
: We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atom...