254 search results - page 33 / 51 » A Behavioral Module System for the Pi-Calculus |
JLP
2007
14 years 11 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
98
Voted
PPOPP
2009
ACM
16 years 10 days ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
106
click to vote
ICPR
2004
IEEE
16 years 27 days ago
2004
IEEE
This work presents a novel people tracking approach, able to cope with frequent shape changes and large occlusions. In particular, the tracks are described by means of probabilist...
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— It is advantageous for colony robots to be autonomous and self-sufficient. This requires them to perform their duties while maintaining enough energy to operate. Previously, we...
WSC
2000
15 years 1 months ago
2000
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...