Sciweavers

4426 search results - page 477 / 886
» Concurrent Constraint Programming
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Software configuration management: a roadmap
This paper, in the first chapter summarizes the state of the art in SCM, showing the evolution along the last 25 years. Chapter 2 shows the current issues and current research wor...
Jacky Estublier
ICSE
1995
IEEE-ACM
15 years 10 months ago
Decentralised Process Enactment in a Multi-Perspective Development Environment
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh
AIPS
1994
15 years 8 months ago
A Framework for Automatic Problem Decomposition in Planning
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
Qiang Yang, Shuo Bai, Guiyou Qiu
AROBOTS
2008
78views more  AROBOTS 2008»
15 years 7 months ago
Reaching with multi-referential dynamical systems
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...
Micha Hersch, Aude Billard
COMCOM
2000
82views more  COMCOM 2000»
15 years 6 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...