73 search results - page 9 / 15 » A Metalogic Programming Approach to Reasoning about Time in ... |
RSS
2007
13 years 8 months ago
2007
— Matching laser range scans observed at different points in time is a crucial component of many robotics tasks, including mobile robot localization and mapping. While existing t...
SAC
2010
ACM
13 years 9 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
ESOP
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
ER
1997
Springer
13 years 11 months ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...