1112 search results - page 31 / 223 » Implementation aspects of a delegation system |
CIA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
GEOINFO
2003
13 years 10 months ago
2003
This paper describes the implementation of a workflow management system to support mobile GIS workgroup applications and highlights the design of the workflow definition language t...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
The Service Oriented Architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-o...
CAMP
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Robot vision systems notoriously require large computing capabilities, rarely available on physical devices. Robots have limited embedded hardware, and almost all senso...