9018 search results - page 226 / 1804 » 3D-Brain Model Software |
119
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
142
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
144
click to vote
PTS
2010
15 years 2 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
124
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
133
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...