| C. Donald Wilcox and Gruia-Catalin Roman. Reasoning About Places, Times, and Actions in the Presence of Mobility. IEEE Transactions on Software Engineering, 22(4):225--247, April 1996. |
....consider. Examples are co operative work and time and location constraints of the tasks themselves. In addition, our framework can be used to divide mobile scenarios into groups with similar characteristics. The MOWAHS characterisation framework has not a formal basis for describing mobility. In [8], the notation UNITY is extended to formally describe mobility. The goal of the extension is to establish a formal specification and design technique that can accommodate the concepts of place, time, and action in a manner consistent with the design requirements for mobile systems. 3 THE MOWAHS ....
C. Donald Wilcox and Gruia-Catalin Roman. Reasoning About Places, Times, and Actions in the Presence of Mobility. IEEE Transactions on Software Engineering, 22(4):225--247, April 1996.
No context found.
C. Donald Wilcox and Gruia-Catalin Roman. Reasoning About Places, Times, and Actions in the Presence of Mobility. IEEE Transactions on Software Engineering, 22(4):225--247, April 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC