7209 search results - page 324 / 1442 » Software Engineering for Multi-Agent Systems |
98
Voted
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
101
click to vote
CAD
2004
Springer
15 years 16 days ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and the model building software. Such models can be im...
102
Voted
TSE
2010
14 years 11 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
99
Voted
ICSE
2003
IEEE-ACM
16 years 23 days ago
2003
IEEE-ACM
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...
89
Voted
SEAA
2008
IEEE
15 years 7 months ago
2008
IEEE
When software systems incorporate existing software components, there is a need to evaluate these components. Component evaluation is of two kinds according to literature: compone...