ABSTRACT System Biology is a rapidly developing discipline which utilizes mathematical and comput... more ABSTRACT System Biology is a rapidly developing discipline which utilizes mathematical and computer science techniques to analyze and interpret biological models. Furthermore advances in analytical and computational technologies are driving the transition to a systems biology that deals with the integrated behavior of biomolecular and metabolic networks. In this paper we use Petri nets to model and simulate the process of carbohydrate metabolic pathways in general and the pentose phosphate pathway in particular. Modeling and simulation of carbohydrate metabolism and pentose phosphate pathway will improve the understanding of the structure and the dynamics of these pathways considerably. Petri nets have been proposed as an effective formalism for Systems Biology and modeling of metabolic pathways.
Many businesses as well as government enterprises are moving towards service oriented architectur... more Many businesses as well as government enterprises are moving towards service oriented architectures for their operation. The level of complexity, interaction and interdependence among various components make it difficult to design, develop, and analyze such systems as a whole. In particular it is difficult to foretell the effect of proposed changes and to evaluate alternative architectures. Adoption of a model-driven
ABSTRACT Presence information is one of the key aspects of mobile computing. Depending on the typ... more ABSTRACT Presence information is one of the key aspects of mobile computing. Depending on the type of presence information, a variety of services can be built on top of a basic pres-ence architecture. These can range from simple notification services and context-aware ...
The digital multiplexed interface (DMI) specifies the interface requirements for multiplexed data... more The digital multiplexed interface (DMI) specifies the interface requirements for multiplexed data communication over digital facilities between a host computer and a PBX. A part of the DMI's packet-mode data-transfer protocol, which is based on the X.25 packet-level protocols, is specified formally using the selection/resolution (S/R) model. A formal verification of the resetting phase of this protocol, using the S/R-model-based software tool SPANNER, is presented. It is shown that the protocol is not fully correct in the sense that some sequence of events may lead it to unsafe states. These states give rise to a livelock situation. A way to rectify this problem is suggested
Abstract-The Session Initiation Protocol (SIP) together with its extension for presence and messa... more Abstract-The Session Initiation Protocol (SIP) together with its extension for presence and messaging is considered to be an enabler of converged communications. At the core, SIP is a signaling protocol used for establishing sessions in an IP network. SIP has been adopted by 3GPP ...
Mobile device operating systems do not allow users to specify their preferred network(s). Therefo... more Mobile device operating systems do not allow users to specify their preferred network(s). Therefore, when there are competing WiFi networks to which a mobile device is authorized to connect, the device may associate itself unpredictably with any one of those networks. This unpredictability results in some network services being unavailable if the device connects to the “wrong” network. The device-AP association problem is a challenging one since the protocol stacks on mobile devices and their innate association behaviors are beyond a network operator's control. This paper discusses a highly memory-efficient and processor-frugal AP-side approach to altering these association behaviors. Our approach makes minor alterations to the transition sequences in the IEEE 802.11 state machine in order to impose the desired device-network association behavior. The changes that we propose are backwards compatible with the IEEE 802.11 standard. Our experiments in the real world demonstrate that our approach is very effective and results in the desired association behavior with complete predictability, regardless of the mobile device, its iOS™1 or Android ™2 operating system, or the version of that operating system.
Petri Nets are a graphical modeling language suitable for modeling distributed, concurrent, deter... more Petri Nets are a graphical modeling language suitable for modeling distributed, concurrent, deterministic and nondeterministic systems with synchronous and asynchronous communications. One attraction of Petri Nets is that the basic vocabulary is small which renders them very flexible in terms of application domains for modeling. However, lack of high-level constructs and related support makes modeling of large system with Petri
Abstract The Concurrency, communications, resource constraints, and quality of service attributes... more Abstract The Concurrency, communications, resource constraints, and quality of service attributes are distinguishing features of web services. Assessment and determination of impact of the nonfunctional aspects such as service granularity, governance, composition, and orchestration is an ...
Healthcare must deliver high quality, high value, patient-centric care while improving access and... more Healthcare must deliver high quality, high value, patient-centric care while improving access and costs even as aging and active populations increase demand for services like knee arthroplasty. Machine learning and artificial intelligence (ML/AI) using past clinical data primarily replicates existing cause-to-effect actions. This is insufficient to forecast outcomes, costs, resource utilization and complications when radical process re-engineering like COVID- inspired telemedicine occurs. To predict episodes of care for innovative arthroplasty patient journeys, a sophisticated integrated knowledge network must model optimal novel care pathways. We focus on the first step of the patient journey: shared surgical decision making. Patient engagement is critical to successful outcomes, yet existing methods cannot model impact of specific decision variables like interactive clinician/caregiver/patient participation in pre- and post-operative rehabilitation, and other factors like comorbidities. We demonstrate coupling of simulation and AI/ML for augmented intelligence musculoskeletal virtual care decisions for knee arthroplasty. This novel coupled-solution integrates critical data and information with tacit clinician knowledge.
ABSTRACT System Biology is a rapidly developing discipline which utilizes mathematical and comput... more ABSTRACT System Biology is a rapidly developing discipline which utilizes mathematical and computer science techniques to analyze and interpret biological models. Furthermore advances in analytical and computational technologies are driving the transition to a systems biology that deals with the integrated behavior of biomolecular and metabolic networks. In this paper we use Petri nets to model and simulate the process of carbohydrate metabolic pathways in general and the pentose phosphate pathway in particular. Modeling and simulation of carbohydrate metabolism and pentose phosphate pathway will improve the understanding of the structure and the dynamics of these pathways considerably. Petri nets have been proposed as an effective formalism for Systems Biology and modeling of metabolic pathways.
Many businesses as well as government enterprises are moving towards service oriented architectur... more Many businesses as well as government enterprises are moving towards service oriented architectures for their operation. The level of complexity, interaction and interdependence among various components make it difficult to design, develop, and analyze such systems as a whole. In particular it is difficult to foretell the effect of proposed changes and to evaluate alternative architectures. Adoption of a model-driven
ABSTRACT Presence information is one of the key aspects of mobile computing. Depending on the typ... more ABSTRACT Presence information is one of the key aspects of mobile computing. Depending on the type of presence information, a variety of services can be built on top of a basic pres-ence architecture. These can range from simple notification services and context-aware ...
The digital multiplexed interface (DMI) specifies the interface requirements for multiplexed data... more The digital multiplexed interface (DMI) specifies the interface requirements for multiplexed data communication over digital facilities between a host computer and a PBX. A part of the DMI's packet-mode data-transfer protocol, which is based on the X.25 packet-level protocols, is specified formally using the selection/resolution (S/R) model. A formal verification of the resetting phase of this protocol, using the S/R-model-based software tool SPANNER, is presented. It is shown that the protocol is not fully correct in the sense that some sequence of events may lead it to unsafe states. These states give rise to a livelock situation. A way to rectify this problem is suggested
Abstract-The Session Initiation Protocol (SIP) together with its extension for presence and messa... more Abstract-The Session Initiation Protocol (SIP) together with its extension for presence and messaging is considered to be an enabler of converged communications. At the core, SIP is a signaling protocol used for establishing sessions in an IP network. SIP has been adopted by 3GPP ...
Mobile device operating systems do not allow users to specify their preferred network(s). Therefo... more Mobile device operating systems do not allow users to specify their preferred network(s). Therefore, when there are competing WiFi networks to which a mobile device is authorized to connect, the device may associate itself unpredictably with any one of those networks. This unpredictability results in some network services being unavailable if the device connects to the “wrong” network. The device-AP association problem is a challenging one since the protocol stacks on mobile devices and their innate association behaviors are beyond a network operator's control. This paper discusses a highly memory-efficient and processor-frugal AP-side approach to altering these association behaviors. Our approach makes minor alterations to the transition sequences in the IEEE 802.11 state machine in order to impose the desired device-network association behavior. The changes that we propose are backwards compatible with the IEEE 802.11 standard. Our experiments in the real world demonstrate that our approach is very effective and results in the desired association behavior with complete predictability, regardless of the mobile device, its iOS™1 or Android ™2 operating system, or the version of that operating system.
Petri Nets are a graphical modeling language suitable for modeling distributed, concurrent, deter... more Petri Nets are a graphical modeling language suitable for modeling distributed, concurrent, deterministic and nondeterministic systems with synchronous and asynchronous communications. One attraction of Petri Nets is that the basic vocabulary is small which renders them very flexible in terms of application domains for modeling. However, lack of high-level constructs and related support makes modeling of large system with Petri
Abstract The Concurrency, communications, resource constraints, and quality of service attributes... more Abstract The Concurrency, communications, resource constraints, and quality of service attributes are distinguishing features of web services. Assessment and determination of impact of the nonfunctional aspects such as service granularity, governance, composition, and orchestration is an ...
Healthcare must deliver high quality, high value, patient-centric care while improving access and... more Healthcare must deliver high quality, high value, patient-centric care while improving access and costs even as aging and active populations increase demand for services like knee arthroplasty. Machine learning and artificial intelligence (ML/AI) using past clinical data primarily replicates existing cause-to-effect actions. This is insufficient to forecast outcomes, costs, resource utilization and complications when radical process re-engineering like COVID- inspired telemedicine occurs. To predict episodes of care for innovative arthroplasty patient journeys, a sophisticated integrated knowledge network must model optimal novel care pathways. We focus on the first step of the patient journey: shared surgical decision making. Patient engagement is critical to successful outcomes, yet existing methods cannot model impact of specific decision variables like interactive clinician/caregiver/patient participation in pre- and post-operative rehabilitation, and other factors like comorbidities. We demonstrate coupling of simulation and AI/ML for augmented intelligence musculoskeletal virtual care decisions for knee arthroplasty. This novel coupled-solution integrates critical data and information with tacit clinician knowledge.
Uploads