Sciweavers

1606 search results - page 43 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
COMSWARE
2006
IEEE
15 years 10 months ago
Case study on the use of SDL for specifying an IETF micro mobility protocol
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
TSE
1998
128views more  TSE 1998»
15 years 3 months ago
Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...
Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsw...
ICTAC
2010
Springer
15 years 2 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
COREGRID
2007
Springer
15 years 10 months ago
Dependable Grid Services: A Case Study with OGSA-DAI
Grid middleware usually makes use of several software modules that due to their complexity and development approach may have some latent bugs and leaks. These bugs can cause visibl...
Javier Alonso, Jordi Torres, Luís Moura Sil...
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
16 years 4 months ago
Focused iterative testing: a test automation case study
Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...
Mechelle Gittens, Pramod Gupta, David Godwin, Hebe...