2935 search results - page 245 / 587 » An Integrated Approach to High Integrity Software Verificati... |
146
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we present the Cataclysm server platform for handling extreme overloads in hosted Internet applications. The primary contribution of our work is to develop a low ove...
156
click to vote
FASE
2007
Springer
16 years 25 days ago
2007
Springer
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
159
click to vote
QSIC
2005
IEEE
16 years 7 days ago
2005
IEEE
Service workflow management which consolidates multiple services to achieve business goals has become a critical issue in service-oriented computing. Due to the unique feature of ...
171
click to vote
GPCE
2005
Springer
16 years 5 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...
174
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
Memory interleaving is a cost-efficient approach to increase bandwidth. Improving data access locality and reducing memory access conflicts are two important aspects to achieve hi...