57 search results - page 8 / 12 » Executable specification of open multi-agent systems |
IWPC
2007
IEEE
14 years 1 months ago
2007
IEEE
A workflow is a computerized specification of a business process. A workflow describes how tasks are executed and ordered following business policies. E-commerce systems implement...
WSMAI
2004
13 years 8 months ago
2004
Continuous Queries (CQ) help users to retrieve results as soon as they become available. The CQ keeps track of two important events. If there is any change in the source informatio...
ACSW
2006
13 years 9 months ago
2006
In the grid architecture, a grid workflow system is a type of high-level grid middleware which is supposed to support modelling, redesign and execution of large-scale sophisticate...
ENTCS
2010
13 years 4 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
FECS
2010
13 years 5 months ago
2010
This paper describes the development of a system for teaching C/C++ using a LegoTM NXT in a CSI college course on introductory programming. The programming of the NXT robot has be...