Sciweavers

2385 search results - page 164 / 477
» Knowledge Refinement for a Design System
Sort
View
155
Voted
AC
2002
Springer
15 years 3 months ago
Empirical Studies of Quality Models in Object-Oriented Systems
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
Lionel C. Briand, Jürgen Wüst
119
Voted
AUTOMATICA
2005
89views more  AUTOMATICA 2005»
15 years 3 months ago
Instrumental variable methods for closed-loop system identification
In this paper, several instrumental variable (IV) and instrumental variable-related methods for closed-loop system identification are considered and set in an extended IV framewor...
Marion Gilson, Paul M. J. Van den Hof
155
Voted
CSCW
2000
ACM
15 years 3 months ago
A Knowledge-based Approach to Handling Exceptions in Workflow Systems
This paper describes a novel knowledge-based approach for helping workflow process designers and participants better manage the exceptions (deviations from an ideal collaborative ...
Mark Klein, Chrysanthos Dellarocas
143
Voted
IJCAI
2003
15 years 5 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
RTSS
2000
IEEE
15 years 8 months ago
Performance Specifications and Metrics for Adaptive Real-Time Systems
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
Chenyang Lu, John A. Stankovic, Tarek F. Abdelzahe...