3376 search results - page 505 / 676 » Analyzing Software Evolvability |
208
Voted
QSIC
2005
IEEE
16 years 18 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...
198
Voted
VISUALIZATION
2005
IEEE
16 years 18 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...
236
click to vote
IHIS
2005
ACM
16 years 18 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...
201
Voted
FASE
2005
Springer
16 years 16 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 ...
182
click to vote
GPCE
2005
Springer
16 years 16 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...