A Tool for the Model-Based Specification of Open Distributed Systems.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 793, doi. 10.1093/comjnl/bxs021
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2013 AND VI 56 AND IP 7
Results: 9
1
2
Efficient Adaptive and Dynamic Mesh Refinement Based on a Non-recursive Strategy.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 843, doi. 10.1093/comjnl/bxs046
- By:
- Publication type:
- Article
3
Maximizing the Total Resolution of Graphs.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 887, doi. 10.1093/comjnl/bxs088
- By:
- Publication type:
- Article
4
Locating a Communication Path in a Competitive Scenario.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 819, doi. 10.1093/comjnl/bxs030
- By:
- Publication type:
- Article
5
A Generating Function Approach to the Edge Surface Area of the Arrangement Graphs.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 871, doi. 10.1093/comjnl/bxs055
- By:
- Publication type:
- Article
6
RE-UML: A Component-Based System Requirements Analysis Language.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 901, doi. 10.1093/comjnl/bxs089
- By:
- Publication type:
- Article
7
All Graphs with at Most Seven Vertices are Pairwise Compatibility Graphs.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 882, doi. 10.1093/comjnl/bxs087
- By:
- Publication type:
- Article
8
Using Wavelet Packets for Selectivity Estimation.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 827, doi. 10.1093/comjnl/bxs038
- By:
- Publication type:
- Article
9
Novel Compression Algorithm Based on Sparse Sampling of 3-D Laser Range Scans.
- Published in:
- Computer Journal, 2013, v. 56, n. 7, p. 852, doi. 10.1093/comjnl/bxs050
- By:
- Publication type:
- Article