2846 search results - page 317 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
162
click to vote
ICESS
2004
Springer
16 years 1 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 ...
147
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
144
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a controlled experiment comparing the defect detection efficiency of exploratory testing (ET) and test case based testing (TCT). While traditional testing lite...
184
click to vote
PPPJ
2003
ACM
15 years 12 months ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
166
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...