KRISTA MAXWELL,1 JASON SCOTT,1 ALEXANDER OMELCHENKO,1 ANTON LUKAS,1 LIYAN LU,2 YUJUAN LU,2 MARK HNATOWICH,1 KENNETH D. PHILIPSON,2 AND LARRY V. HRYSHKO1 1Institute of Cardiovascular Sciences, St. Boniface General Hospital Research Center, University of Manitoba, Winnipeg, Manitoba, Canada R2H 2A6; and 2Cardiovascular Research Laboratory and Departments of Physiology and Medicine, University of ...

In this paper we describe the Secure Method Invocation (SMI) framework implemented for Jason, our Javacard As Secure Objects Networks platform. Jason realises the secure object store paradigm, that reconciles the card-as-storage-element and card-as-processing-element views. In this paradigm, smart cards are viewed as secure containers for objects, whose methods can be called straightforwardly a...

We consider interactions between atomic intentions and plan failures in the Jason BDI-based agent programming language. Atomic intentions allow the agent developer to control the execution of intentions in situations where a sequence of actions must be executed ‘atomically’ in order to ensure the success of a plan. However, while atomic intentions in Jason enforce mutual exclusion, they are not...

Form Approved OMB No. 0704-0188 Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing this collection of information. Send comments regarding this burden estimate or any other aspect of this coll...