51 search results - page 2 / 11 » Realizability of Choreographies Using Process Algebra Encodi... |
IEEESCC
2007
IEEE
13 years 11 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...
VCIP
2003
13 years 6 months ago
2003
The universal scalability, which integrates different types of scalabilities and consequently provides a large scaling range for each codec parameter, is of high interests to the ...
BMCBI
2004
13 years 4 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
BPM
2006
Springer
13 years 6 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...
UAI
1997
13 years 6 months ago
1997
The Lexical Access Problem consists of determining the intended sequence of words corresponding to an input sequence of phonemes (basic speech sounds) that come from a low-level p...