3799 search results - page 497 / 760 » An Engineering Approach to Formal Methods |
192
click to vote
ARCS
2005
Springer
16 years 6 days ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
180
click to vote
E4MAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
203
click to vote
ICCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
172
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
194
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...