2935 search results - page 40 / 587 » An Integrated Approach to High Integrity Software Verificati... |
140
click to vote
MATES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
127
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
An efficient approach to full-wave impedance extraction is developed that accounts for substrate effects through the use of two-layer media Green's functions in a mixed-poten...
126
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
144
click to vote
VISUALIZATION
1995
IEEE
15 years 7 months ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...
144
Voted
ASE
2006
15 years 4 months ago
2006
Commercial-off-the-shelf (COTS) software tends to be cheap, reliable, and functionally powerful due to its large user base. It has thus become highly desirable to incorporate COTS ...