17789 search results - page 384 / 3558 » Exceptional Use Cases |
200
click to vote
COREGRID
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a case study in the generic design of Grid component models. It defines a framework allowing two component systems, one running in a CCA environment, and anoth...
202
click to vote
LFCS
2007
Springer
16 years 29 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
206
click to vote
CLUSTER
2005
IEEE
16 years 13 days ago
2005
IEEE
Interest in Grid computing has grown significantly over the past five years. Management of distributed cluster resources is a key issue in Grid computing. Central to management ...
205
click to vote
ISESE
2005
IEEE
16 years 12 days ago
2005
IEEE
Exploratory testing (ET) – simultaneous learning, test design, and test execution – is an applied practice in industry but lacks research. We present the current knowledge of ...
163
click to vote
ISPASS
2005
IEEE
16 years 12 days ago
2005
IEEE
Computer architecture research in academia and industry is heavily reliant on simulation studies. While microprocessor companies have the resources to develop highly detailed simu...