3376 search results - page 505 / 676 » Analyzing Software Evolvability |
190
click to vote
QSIC
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper proposes a stochastic voting for testing a large number of Web Services (WS) under group testing. In the future, a large number of WS will be available and they need to...
174
click to vote
VISUALIZATION
2005
IEEE
16 years 4 days ago
2005
IEEE
The rapid increase in the performance of graphics hardware, coupled with recent improvements in its programmability, have made graphics hardware a compelling platform for computat...
221
click to vote
IHIS
2005
ACM
16 years 3 days ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
184
click to vote
FASE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
167
click to vote
GPCE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...