6031 search results - page 73 / 1207 » Communicating Transaction Processes |
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
VLSISP
2002
14 years 11 months ago
2002
Abstract. Many statistical signal processing problems found in wireless communications involves making inference about the transmitted information data based on the received signal...
CMG
2007
15 years 1 months ago
2007
Most modern applications are networked and make heavy use of various communication protocols such as TCP/IP and SOAP over HTTP in case of Web Services. This paper presents the res...
ENTCS
2008
14 years 12 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Distributed work teams are increasingly being implemented to enhance organizational flexibility and competitiveness in today's complex and rapidly changing work environment. ...