Keywords: صحت; Program transformations; Nominal unification; Functional languages; Atom-variables; Correctness;
مقالات ISI صحت (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: صحت; Fuzzy logic programming; Similarity relations; Declarative semantics; Fixpoint semantics; Operational semantics; Correctness;
Keywords: صحت; Correctness; Data mining; Existential probability; Frequent pattern mining; Uncertain pattern;
Keywords: صحت; Correctness; Opacity; Linearizability; Deferred update replication;
Keywords: صحت; Correctness; Clinical data warehouse; Electronic health record; Extract transform load; Informatics;
Keywords: صحت; Contextual equivalence; Correctness; Semantics; Translations;
Keywords: صحت; Correctness; Weakest preconditions; Invariant; Methodology; Subgoals
Keywords: صحت; Wireless sensor networks; Data aggregation scheduling; Fault tolerance; Crashes; Collision freedom; Impossibility; Correctness
VCKSM: Verifiable conjunctive keyword search over mobile e-health cloud in shared multi-owner settings
Keywords: صحت; Searchable encryption; Multi-owner settings; Conjunctive keyword; Correctness; Keyword guessing attacks;
The Approximate Correctness of Systems Based on δ-bisimulation
Keywords: صحت; limit; correctness; bisimulation; complete lattice; fuzzy system;
Modeling of learning curves with applications to POS tagging
Keywords: صحت; Correctness; Functional sequences; Learning curves; POS tagging; Proximity criterion; Robustness;
The correctness of event-B inductive convergence
Keywords: صحت; Refinement; Termination; Well-foundedness; Correctness;
Separating stages of arithmetic verification: An ERP study with a novel paradigm
Keywords: صحت; ERPs; Mental arithmetic, arithmetic verification task; Distance effect; Expectancy; Physical features; Correctness; N2b; N400; P3b;
Dynamic floating-point cancellation detection
Keywords: صحت; Tools; Floating-point; Program analysis; Correctness; Debugging
An evaluation platform for forensic memory acquisition software
Keywords: صحت; Memory forensics; Memory acquisition; Live forensics; Evaluation; Metrics; Correctness; Atomicity; Integrity of a memory snapshot; Forensic soundness
Correctness, atomicity, and integrity: Defining criteria for forensically-sound memory acquisition
Keywords: صحت; Memory forensics; Memory acquisition; Live forensics; Correctness; Atomicity; Integrity of a memory snapshot; Forensic soundness
Mechanised wire-wise verification of Handel-C synthesis
Keywords: صحت; Handel-C synthesis; Denotational semantics; Correctness; Mechanical verification; HOL
Maintaining distributed logic programs incrementally
Keywords: صحت; Declarative Networking; Correctness; Logic Programming; Distributed Datalog
Correct transformation: From object-based graph grammars to PROMELA
Keywords: صحت; Graph grammars; Model transformation; PROMELA; Correctness
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
Keywords: صحت; Conceptual workflow models; Soundness; Refinement; Verification; Correctness; May/must semantics
On Embeddable Passive Testing*
Keywords: صحت; Testing; model; architecture; behaviour; correctness
Maintaining the Ranch topology
Keywords: صحت; Structured peer-to-peer networks; Maintenance protocols; Concurrency; Correctness
Using ASP for knowledge management with user authorization
Keywords: صحت; Authorization; Knowledge base; Logic programming; Answer set programming; Correctness
A quantitative assessment of a methodology for collaborative specification and evaluation of clinical guidelines
Keywords: صحت; Clinical decision support systems; Clinical guidelines; Ontologies; Knowledge acquisition; Knowledge bases; Evaluation; Mark-up; Structuring; Completeness; Correctness
Assurance of dynamic adaptation in distributed systems
Keywords: صحت; Dynamic adaptation; Assurance; Correctness; Specification; Verification; Fault-tolerance
Validation of computerized Swedish horse insurance data against veterinary clinical records
Keywords: صحت; Validation; Computerized; Horse; Insurance data; Clinical records; Diagnosis; Sweden; Correctness; Completeness
Scheduling-free resource management
Keywords: صحت; Business process; Workflow; Resource management; Correctness; Scheduling
Secrecy by interpretation functions
Keywords: صحت; Cryptographic protocols; Security; Correctness; Secrecy; Formal verification
Hazard avoidance in wireless sensor and actor networks
Keywords: صحت; Wireless sensor and actor networks; Correctness; Sink-to-sensors data delivery; Simulations; Performance evaluation
Patent information in a changing world: Perspectives from a major patent office
Keywords: صحت; Bibliographic information; Patent information; Commercial databases; Internet databases; Information professionals; IPC reform; Patent offices; Completeness; Timeliness; Correctness;
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Keywords: صحت; Compiler; specification; implementation; correctness; code inspection; term-rewriting; algebraic reasoning;