1407 search results - page 36 / 282 » Using Use Cases in Executable Z |
129
click to vote
CINQ
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
146
click to vote
WECWIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Enterprise Applications are increasingly moving towards providing web access to their users through "thin clients". There is a strong case for their integration using we...
109
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number of test cases executed on the software. In this pa...
122
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Sophisticated parallel matrix multiplication algorithms like PDGEMM exhibit a complex structure and can be controlled by a large set of parameters including blocking factors and bl...
135
click to vote
HPDC
2009
IEEE
15 years 9 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...