9702 search results - page 191 / 1941 » Communicating Mobile Processes |
161
click to vote
EJWCN
2011
14 years 12 months ago
2011
—This paper presents CARNIVORE, a system for in-situ, yet unobtrusive monitoring of cryptic, difficult-tocatch/observe wildlife in their natural habitat. CARNIVORE consists of a...
130
Voted
INFORMATICASI
2010
15 years 2 months ago
2010
164
Voted
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
112
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
125
click to vote
HPDC
1996
IEEE
15 years 9 months ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...