1393 search results - page 112 / 279 » Virtual-Channel Flow Control |
SACMAT
2006
ACM
14 years 4 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
ICRA
2003
IEEE
14 years 3 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...
VL
1998
IEEE
14 years 2 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...
BIRTHDAY
2008
Springer
14 years 4 days 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...
IJWGS
2006
13 years 10 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...