4985 search results - page 85 / 997 » Observation of String-Rewriting Systems |
EUROMICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
ICALP
1992
Springer
15 years 2 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
ICALT
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a neuro-fuzzy system that can be used for student modeling. The proposed system enables classification of students based on qualitative observations of their c...
TVCG
2011
14 years 4 months ago
2011
—We present a flexible interactive 3D morpho-kinematical modeling application for astrophysics. Compared to other systems, our application reduces the restrictions on the physic...