78 search results - page 3 / 16 » Deciding choreography realizability |
BPM
2006
Springer
13 years 9 months ago
2006
Springer
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
IEEESCC
2009
IEEE
13 years 5 months ago
2009
IEEE
Business-To-Business Integration (B2Bi) is a key mechanism for enterprises to gain competitive advantage. However, developing B2Bi applications is far from trivial. Inter alia, ag...
CSR
2010
Springer
14 years 7 days ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
DLOG
2008
13 years 9 months ago
2008
Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. A `standard' FCA-workflow starts with some `experimental' data, class...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
This demonstration showcases the STEP system for natural language access to relational databases. In STEP an administrator authors a highly structured semantic grammar through cou...