The following pages link to (Q4293540):
Displayed 10 items.
- DSOL: a declarative approach to self-adaptive service orchestrations (Q438997) (← links)
- A document driven methodology for developing a high quality parallel mesh generation toolbox (Q730984) (← links)
- Requirements analysis for engineering computation: a systematic approach for improving reliability (Q858157) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Hierarchically specified unit disk graphs (Q1269904) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- The application of hypergroups in symbolic executions and finite automata (Q2098344) (← links)
- A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication (Q2676581) (← links)
- Consistent database sampling as a database prototyping approach (Q4794734) (← links)
- Hierarchically specified unit disk graphs (Q6184390) (← links)