1477 search results - page 120 / 296 » Token flow control |
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
-- In this paper we address the task of human-robot interaction in public mass exposition with several autonomous robots at a time. This implies questions regarding multi-robot con...
126
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...
158
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
135
click to vote
IJWGS
2006
15 years 3 months ago
2006
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
126
click to vote
LISP
2002
15 years 3 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...