5348 search results - page 769 / 1070 » Models for the Compressible Web |
220
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
220
click to vote
NAR
2011
14 years 10 months ago
2011
ModBase (http://salilab.org/modbase) is a database of annotated comparative protein structure models. The models are calculated by ModPipe, an automated modeling pipeline that rel...
209
click to vote
FOSSACS
2005
Springer
16 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
216
click to vote
EEE
2005
IEEE
16 years 1 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
199
click to vote
TSMC
2008
15 years 7 months ago
2008
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...