16725 search results - page 2804 / 3345 » Engineering Software Correctness |
195
click to vote
ICCBSS
2004
Springer
16 years 10 days ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...
168
click to vote
ICESS
2004
Springer
16 years 10 days ago
2004
Springer
A new gradient-based routing protocol is proposed in this paper. It takes into account the minimum hop count and remaining energy of each node while relaying data from source node ...
168
click to vote
ICFEM
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
175
click to vote
ICFEM
2004
Springer
16 years 10 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
166
click to vote
ICSR
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answere...