ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
— Traditionally, robot control has been done typically by “highly precise control algorithms”: the position of each movable body part is accurately determined at any time wit...
Abundant content, data type and diverse members' interests naturally lead to preference heterogeneity within a multicast session requiring frequent communication within subgr...
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...