462 search results - page 27 / 93 » Supporting e-commerce systems formalization with choreograph... |
BNCOD
2004
13 years 9 months ago
2004
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
SIGSOFT
2001
ACM
14 years 8 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
CNL
2009
13 years 5 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...