Showing 331 - 340 results of 431 for search '"Formalization."', query time: 0.01s Refine Results
  1. 331

    Numerical collapse simulation of large-scale structural systems using an optimization-based algorithm. by Sivaselvan, Mettupalayam V.

    Article

    Numerical collapse simulation of large-scale structural systems using an optimization-based algorithm.
  2. 332

    Disjunctive datalog. by Eiter, Thomas

    Article

    Disjunctive datalog.
  3. 333

    Software verification and validation with destiny a parallel approach to automated theorem proving. by Dykstra, Josiah

    Article

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  4. 334

    Relational expressive power of constraint query languages. by Benedikt, Michael

    Published in Journal of the ACM
    Article

    Relational expressive power of constraint query languages.
  5. 335

    Probabilistic checking of proofs a new characterization of NP. by Arora, Sanjeev

    Published in Journal of the ACM
    Article

    Probabilistic checking of proofs a new characterization of NP.
  6. 336

    Theory of neuromata. by íma, Jiří

    Published in Journal of the ACM
    Article

    Theory of neuromata.
  7. 337

    Corrigendum Reasoning about knowledge and probability?. by Fagin, Ronald

    Published in Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  8. 338

    Satisfiability of word equations with constants is in PSPACE. by Plandowski, Wojciech

    Published in Journal of the ACM
    Article

    Satisfiability of word equations with constants is in PSPACE.
  9. 339

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. by Mateescu, Radu

    Article

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
  10. 340

    Invariants and state in testing and formal methods. by Hamlet, Dick

    Article

    Invariants and state in testing and formal methods.

Search Tools: