Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Selected papers from the KES2004 conference
Article type: Research Article
Authors: Murthy, V.K.
Affiliations: School of Business Information Technology, RMIT University, Melbourne, Victoria 3000, Australia. E-mail: [email protected]
Abstract: In the pervasive computing environment consisting of peers (a generic name for clients, servers or agents), context-awareness plays an important role to offer personalized services for various applications, e.g., medical services, robotics, travel planning, security monitoring, and multi-player gaming. Accordingly, context management turns out to be an important issue in manipulating, acquiring information and reacting to the situation. In this paper, we describe a contract-based workflow paradigm to support long and short duration transactions in a context-aware pervasive computing environment. This paradigm provides for software contract that captures mutual obligations using program constructs such as “require [else]” for precondition and “ensure [then]” for post condition, assertions, invariants needed in the pervasive computing environment. Such program constructs are essential to deal with the uncertain nature of connectivity of pervasive devices and networks, and the trial-error (subjunctive) nature of the processes and the programs used in E-commerce, robotics and multi-player gaming.
DOI: 10.3233/KES-2005-9406
Journal: International Journal of Knowledge-based and Intelligent Engineering Systems, vol. 9, no. 4, pp. 303-314, 2005
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
[email protected]
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office [email protected]
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
如果您在出版方面需要帮助或有任何建, 件至: [email protected]