2950 search results - page 26 / 590 » Computing with Infinitely Many Processes |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
CPC
2002
14 years 9 months ago
2002
We study a model motivated by the minesweeper game. In this model one starts with percolation of mines on the sites of the lattice Zd , and then tries to find an infinite path of ...
ICDCS
1999
IEEE
15 years 2 months ago
1999
IEEE
Existing workflow management systems encapsulate the data and behavior of a process within its execution scope, preventing other processes from accessing this information until th...
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
—Beyond signal processing applications, frames are also powerful tools for modeling the sensing and information processing of many biological and man-made systems that exhibit in...
INTETAIN
2009
Springer
15 years 4 months ago
2009
Springer
In this text, we intend to explore the possibilities of sound manipulation in a context of augmented reality (AR) through the use of robots. We use the random behaviour of robots i...