Sciweavers

917 search results - page 48 / 184
» Structural Testing of Component-Based Systems
Sort
View
SGAI
2010
Springer
13 years 3 months ago
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
Gianluca Torta, Pietro Torasso
DGO
2003
107views Education» more  DGO 2003»
13 years 10 months ago
Implementation of A Coastal Decision Making System Using Internet and Wireless Technologies
This paper presents results of a coastal decision making system that utilizes the following tools: Internet, wireless technology, and Geographic Information Systems (GIS). The dev...
Xutong Niu, Tarig Ali, Ruijin Ma, Ahmed Elaksher, ...
ECIS
2003
13 years 10 months ago
Fit and social construction in knowledge management systems
This paper proposes a study of the effects of knowledge management systems (KMS) on individual and organizational performance. The study seeks to answer the following question: Wh...
Ghiyoung Im, Arjan Raven
HICSS
1994
IEEE
105views Biometrics» more  HICSS 1994»
14 years 29 days ago
Towards a Design Methodology for Decision Support Systems
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
J. J. Zuurbier, J. N. Brinkkemper, Margriet Offere...
AMOST
2007
ACM
14 years 25 days ago
Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Till...