We propose a decision procedure, i.e. an inference system for clauses containing rigid and flexible variables. Rigid variables are only allowed to have one instantiation, whereas flexible variables are allowed as many instantiations as desired. We assume a set of clauses containing only rigid variables together with a set of clauses containing only flexible variables. When the flexible clauses ...

This paper proposes the Intra Trustcenter Protocol (ITP), a flexible and secure management protocol for communication between arbitrary trustcenter components. Unlike other existing protocols (like PKCS#7, CMP or XKMS) ITP focuses on the communication within a trustcenter. It is powerful enough for transferring complex messages which are machine and human readable and easy to understand. In add...

The context of this paper and the corresponding challenges are formed by network services and their requirements to the underlying protocol stack. The relevance of this research is confirmed by three recent trends in network services and their execution environment: growing reliance of businesses and individuals on network connectivity, highly dynamic network characteristics, and a wide range o...

In distributed applications, a group of multiple processes is required to be cooperated by exchanging multimedia data. In addition, world-wide distributed applications are being realized by using the Internet. The traditional group communication protocols assume that every pair of processes support almost the same and xed delay time and reliability level. In world-wide multimedia applications, ...

BACKGROUND Determination of oocyte fertilization and embryo quality are one of the most important purposes in ART cycles. Follicular fluid provides an important microenvironment for development of oocytes and some biochemical characteristics of the follicular fluid, such as pregnancy-associated plasma protein-A (PAPP-A), may play an important role in prediction of success rate of ART. OBJECTI...

In competitive markets, organizations collaborate in business chains using dynamic service outsourcing to deliver complex products and services. To enable the flexible formation of business chains, organizations can use protocol adaptation to ensure that their business protocols are compatible. In this paper, we present three different software architectures that enable the flexible formation a...

This paper is focused on an efficient protocol implementation based on flexible user protocol interface (UPI) configurable for different service options and protocol processing architectures. The XTPL implementation discussed in this paper is developed based on the BERKOM eXpress Transfer Protocol (XTP) Lite version for HP 9000 / 7x Series using HP-UX 9.0 operating system. This implementation s...

In an ad hoc wireless network system, wireless terminals can autonomously construct a network and directly communicate with each other without using wired network. A Flexible Radio Network is one of the ad hoc wireless network systems which has been operational in a recent few years. In the Flexible Radio Network, an original communication protocol is implemented to obtain the reliability of th...

objective: to compare the pregnancy outcomes achieved by in vitro fertilization (ivf) between minimal stimulation and conventional antagonist protocols in poor ovarian responders (pors). materials and methods: in this randomized controlled trial, 77 pors undergoing ivf were selected and divided into two groups. first group was the minimal stimulation group (n = 42) receiving 100 mg/day clomiphe...