Sciweavers

222 search results - page 27 / 45
» PCLOS: A Critical Review
Sort
View
EMSOFT
2011
Springer
12 years 7 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
EDM
2008
136views Data Mining» more  EDM 2008»
13 years 9 months ago
Machine Classification of Peer Comments in Physics
As part of an ongoing project where SWoRD, a Web-based reciprocal peer review system, is used to support disciplinary writing, this study reports machine learning classifications o...
Kwangsu Cho
AAAI
2004
13 years 9 months ago
The General Motors Variation-Reduction Adviser: Deployment Issues for an AI Application
The General Motors Variation-Reduction Adviser is a knowledge system built on case-based reasoning principles that is currently in use in a dozen General Motors Assembly Centers. ...
Alexander P. Morgan, John A. Cafeo, Kurt Godden, R...
ACSW
2006
13 years 9 months ago
SKMA: a key management architecture for SCADA systems
Supervisory Control And Data Acquisition (SCADA) systems are widely used in the management of critical infrastructure such as electricity and water distrubution systems. Currently...
Robert Dawson, Colin Boyd, Ed Dawson, Juan Manuel ...
ECIS
2003
13 years 9 months ago
Research philosophies in the IOS adoption field
This paper pursues two objectives. First it depicts the status of research philosophies of the IOS adoption field. Second, it gives an overview of the discussions within the field...
Ramanathan Somasundaram, Jan Karlsbjerg