Sciweavers

1754 search results - page 71 / 351
» Grid Services Toolkit for Process Data Processing
Sort
View
ESWS
2009
Springer
14 years 7 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
IJWET
2007
114views more  IJWET 2007»
14 years 9 months ago
A comprehensive design model for integrating business processes in web applications
: Web applications have evolved from simple read-only websites to complex data- and operation-intensive systems. The main goal of this kind of application is to provide the users w...
Damiano Distante, Gustavo Rossi, Gerardo Canfora, ...
3DIM
1997
IEEE
15 years 2 months ago
Registration and Integration of Textured 3-D Data
In general, multiple views are required to create a complete 3-D model of an object or of a multi-roomed indoor scene. In this work, we address the problem of merging multiple tex...
Andrew Edie Johnson, Sing Bing Kang
RAS
2007
98views more  RAS 2007»
14 years 9 months ago
Occupancy grids building by sonar and mobile robot
In this paper, a modified method for occupancy grid map building by a moving mobile robot and a scanning ultrasonic range-finder is proposed. The map building process consists o...
Sv. Noykov, Ch. Roumenin
SP
2002
IEEE
129views Security Privacy» more  SP 2002»
14 years 9 months ago
The XCAT Science Portal
The design and prototype implementation of the XCAT Grid Science Portal is described in this paper. The portal lets grid application programmers easily script complex distributed ...
Sriram Krishnan, Randall Bramley, Dennis Gannon, R...