12399 search results - page 2210 / 2480 » Deformable structural models |
186
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
169
click to vote
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
138
click to vote
CONCUR
2005
Springer
16 years 7 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
201
click to vote
EPEW
2005
Springer
16 years 6 days ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
188
click to vote
ESWS
2005
Springer
16 years 6 days ago
2005
Springer
Business models on the basis of digital content require sophisticated descriptions of that content, as well as service-oriented carrier architectures that allow to negotiate and en...