2935 search results - page 349 / 587 » An Integrated Approach to High Integrity Software Verificati... |
194
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
162
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
180
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Rapidly simulating global illumination, including diffuse and glossy light transport is a very difficult problem. Finite element or radiosity approaches can achieve interactive si...
166
click to vote
ICSM
2006
IEEE
16 years 15 days ago
2006
IEEE
The paper presents a new approach to source code exploration, which is the result of integrating the Google Desktop Search (GDS) engine into the Eclipse development environment. T...
178
click to vote
GRAPHICSINTERFACE
2001
15 years 7 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...