We reconstituted prepro-ot-factor translocation and signal peptide processing using a yeast microsomal detergent soluble fraction formed into vesicles with soybean phospholipids. Reconstituted translocation required ATP, and was deficient when sec63 and kar2 (BiP) mutant cells were used as a source of membranes. Normal translocation was observed with vesicles reconstituted from a mixture of pur...

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. A formal relation between exogenous coordination languages comprises the basis for a solid comparison and consolidation of their fundamental concepts. In this p...

Dynamic architectures in which interactions between components can evolve during execution, are essential for modern computing systems such as web-based systems, reconfigurable middleware, wireless sensor networks and fault-tolerant systems. Currently, we lack rigorous frameworks for their modeling, development and implementation. We propose Dy-BIP a dynamic extension of the BIP component frame...

Reduction and abstraction techniques have been proposed to address the state space explosion problem in verification. In this paper, we present reduction and abstraction techniques for component-based systems modeled in BIP (Behavior, Interaction and Priority). Given a BIP system consisting of several atomic components, we select two atomic components amenable for reduction and compute their pr...

The Broadcast Incremental Power (BIP) algorithm is the most frequently cited method for the minimum energy broadcast routing problem. A recent survey concluded that BIP has O(|V |3) time complexity, and that its approximation ratio is at least 4.33. We strengthen these results to O(|V |2) and 4.598, respectively.

In this paper we address the problem of energy-efficient broadcast in wireless ad hoc networks. We first extend the broadcast incremental power algorithm (BIP) [4] – an efficient algorithm to construct broadcast trees – to support sectored antennas. Secondly, we simulate and extensively compare the original BIP algorithm with the extended and modified BIP. The simulation shows drastic reduction...

Incubation of Swiss 3T3 cells with [2-3H]adenine, as in other cell types, reveals the ADP-ribosylation of GRP78 (the 78-kDa glucose-regulated protein, also known as BiP, the immunoglobulin heavy chain-binding protein), a resident endoplasmic reticulum protein that assists in the processing of proteins destined for secretion or cell surface expression. Here we show that Pasteurella multocida tox...