As the healthcare industry continues to become more distributed, healthcare organizations are increasing their reliance on mobile links to access patient information and to update...
Abstract. This paper proposes the incremental goal evolution process methodology from the view point of the approach to business process optimization. This paper first presents a p...
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
Peer-to-peer (P2P) networks and mobile ad hoc networks (MANET) share some key characteristics: selforganization and decentralization, and both need to solve the same fundamental p...
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...