2060 search results - page 126 / 412 » The Composition of Event-B Models |
ACRI
2004
Springer
15 years 9 months ago
2004
Springer
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...
173
click to vote
ECOWS
2007
Springer
15 years 8 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
121
click to vote
ICMCS
1997
IEEE
15 years 8 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...
168
click to vote
MBEES
2008
15 years 5 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...
145
click to vote
MCS
2007
Springer
15 years 3 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...