Polynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences - Japan
doi 10.1587/transfun.e94.a.2821
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Related search

Modeling and Verification of a Time-Triggered Networking Protocol

English

An Optimization for Differential Power Analysis Based on Time Series Verification

2019English

Observer‐based Controller for Positive Polynomial Systems With Time Delay

Optimal Control Applications and Methods
ControlSystems EngineeringApplied MathematicsOptimizationSoftware
2019English

Inter- And Transgenerational Inheritance of Behavioral Phenotypes

Current Opinion in Behavioral Sciences
PsychiatryMental HealthBehavioral NeuroscienceCognitive Neuroscience
2019English

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Protocol Verification in Nuprl

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Public Quadratic Polynomial-Tuples for Efficient Signature-Verification and Message-Encryption

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy