Results 231 to 240 of about 22,113 (265)
Some of the next articles are maybe not open access.
Deductive Multi-valued Model Checking
2005Model checking is a widely used technique for verifying complex concurrent systems. The models used in classical model checking methods are assumed to be complete and consistent. However, a recent body of work has shown that this is not always the case, and multi-valued logics have been proposed to represent such models, spawning an extension of ...
openaire +1 more source
Inductive/Deductive Hybrid Thematic Analysis in Mixed Methods Research
Journal of Mixed Methods Research, 2023Kevin Proudfoot
exaly
A method for reasoning about deductive conceptual models of information systems
Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 2005Dolors Costal +2 more
exaly
Determining object interaction in object-oriented deductive conceptual models
Information Systems, 1994Carme Quer, Antoni Olive
exaly
Implicit deductive fault simulation for complex delay fault models
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2004S Tragoudas
exaly
Expressive power and complexity of partial models for disjunctive deductive databases
Theoretical Computer Science, 1998Thomas Eiter +2 more
exaly
The potential of working hypotheses for deductive exploratory research
Quality and Quantity, 2020Mattia Casula +2 more
exaly