Learn More
—We present an on-board robotic module which can determine relative positions among miniature robots. The module uses high-frequency modulated infrared emissions to enable nearby robots to determine the range, bearing, and message of the sender with a rapid update rate. A CSMA protocol is employed for scalable operation. We describe a technique for(More)
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services , telecommunications and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool(More)
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool(More)
Workflow graphs represent the main control-flow constructs of industrial process modeling languages such as BPMN, EPC and UML Activity diagrams, whereas free-choice workflow nets is a well understood class of Petri nets that possesses many efficient analysis techniques. In this paper, we provide new results on the translation between workflow graphs and(More)
The insulin/insulin-like growth factor (IGF) signaling pathway to mTOR is essential for the survival and growth of normal cells and also contributes to the genesis and progression of cancer. This signaling pathway is linked with regulation of mitochondrial function, but how is incompletely understood. Here we show that IGF-I and insulin induce rapid(More)
The IBM Pattern-based Process Model Accelerators add a set of patterns , transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Business Modeler that make it easy for users to apply common best practices when modeling business processes. As a result, users create and edit higher-quality process models and they benefit(More)
Different stakeholders in the business process management (BPM) life cycle benefit from having different views onto a particular process model. Each view can show, and offer to change, the details relevant to the particular stakeholder, leaving out the irrelevant ones. However, introducing different views on a process model entails the problem to(More)
LIMITED DISTRIBUTION NOTICE This report will be distributed outside of IBM up to one year after the IBM publication date. Abstract IBM R Pattern-based process Model Accelerators for WebSphere R Business Modeler are a set of features designed specifically for users who create and edit process models using WebSphere Business Modeler. The accelerators provide(More)