4350 search results - page 526 / 870 » Case studies for contract-based systems |
212
click to vote
ICST
2008
IEEE
16 years 2 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
279
click to vote
ISPDC
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
219
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
191
click to vote
KIVS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...
192
click to vote
ESCIENCE
2006
IEEE
16 years 1 months ago
2006
IEEE
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...