402 search results - page 28 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
WSC
2004
13 years 9 months ago
2004
This paper presents our work on the integrated use of simulation tools in real time for participatory occupational ergonomic studies. The focus of this paper is a synergistic syst...
VMCAI
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
ISARCS
2010
13 years 11 months ago
2010
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
JBI
2007
13 years 7 months ago
2007
In medical image analysis, the image content is often represented by computed features that need to be interpreted at a clinical level of understanding to support lopment of clini...
HYBRID
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...