19 search results - page 3 / 4 » Using Process Algebra to Validate Behavioral Aspects of Obje... |
JUCS
2008
13 years 4 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
CAISE
2008
Springer
13 years 7 months ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
TFM
2009
Springer
13 years 11 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
ICSOC
2010
Springer
13 years 3 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
ICASSP
2009
IEEE
13 years 2 months ago
2009
IEEE
Nonnegative matrix tri-factorization (NMTF) is a 3-factor decomposition of a nonnegative data matrix, X USV , where factor matrices, U, S, and V , are restricted to be nonnegativ...