10072 search results - page 213 / 2015 » Composition of Model Programs |
149
click to vote
ICMCS
1997
IEEE
15 years 10 months ago
1997
IEEE
– Video is a powerful medium for disseminating news as information. Like any other information, techniques are required to help search and locate interesting video content. In th...
212
click to vote
MBEES
2008
15 years 8 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
184
click to vote
MCS
2007
Springer
15 years 6 months ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
192
click to vote
FCCM
2008
IEEE
16 years 29 days ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
193
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...