20511 search results - page 111 / 4103 » On the level |
130
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The large gap in the levels at which requirements are specified results in inadequate means for ensuring that business goals are properly supported. Architecture-level requirement...
196
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
218
click to vote
MACE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
146
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
 In this paper we propose a situated decision support system for efficient negotiating of service level agreements (SLAs) in Grids. Situated decisionÂ...
186
click to vote
CCGRID
2006
IEEE
16 years 17 days ago
2006
IEEE
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...