3742 search results - page 486 / 749 » On the Use of Formal Techniques for Validation |
173
click to vote
CC
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination supports syntax definitions in which all aspects (lexical and context-free) ...
157
click to vote
DKE
1999
15 years 6 months ago
1999
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
188
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
177
click to vote
ISCI
2010
15 years 5 months ago
2010
The t-concept lattice is introduced as a set of triples associated to graded tabular information interpreted in a non-commutative fuzzy logic. Following the general techniques of ...
172
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...