4286 search results - page 205 / 858 » Formalizing Service Interactions |
175
click to vote
MICS
2010
15 years 4 months ago
2010
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
163
click to vote
ERSHOV
2009
Springer
16 years 29 days ago
2009
Springer
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
126
click to vote
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...
175
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
170
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...