3713 search results - page 564 / 743 » Constructing a Calculus of Programs |
133
click to vote
UML
2004
Springer
15 years 8 months ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language â...
109
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper discusses a design methodology of cooperative trajectory generation for multi-robot systems. The trajectory of achieving cooperative tasks, i.e., with temporal constrai...
106
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
130
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
GROUP
2003
ACM
15 years 8 months ago
2003
ACM
Process technologies play an increasingly important role as the world is being digitalized in nearly every corner. The major obstacles to their massive deployment include reusabil...