113 search results - page 12 / 23 » Service oriented computing from a process algebraic perspect... |
SOCA
2008
IEEE
13 years 7 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
IEEESCC
2007
IEEE
14 years 1 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
TPHOL
2003
IEEE
14 years 23 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
ICIW
2007
IEEE
14 years 1 months ago
2007
IEEE
— Service-Oriented Computing (SOC) is a promising means to integrate heterogeneous systems. Services from different providers can be integrated into a composite service regardles...
AB
2007
Springer
14 years 1 months ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...