Works matching IS 00104620 AND DT 2002 AND VI 45 AND IP 1
Results: 14
A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 101
- By:
- Publication type:
- Article
A Framework for Developing and Analyzing Software Architecture Specifications in SAM.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 111
- By:
- Publication type:
- Article
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 2, doi. 10.1093/comjnl/45.1.2
- By:
- Publication type:
- Article
Validating the AMULET Microprocessors.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 19, doi. 10.1093/comjnl/45.1.19
- By:
- Publication type:
- Article
Formal Methods in Computation.
- Published in:
- 2002
- By:
- Publication type:
- Proceeding
Balsa: An Asynchronous Hardware Synthesis Language.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 12, doi. 10.1093/comjnl/45.1.12
- By:
- Publication type:
- Article
Relating Event and Trace Semantics of Hardware Description Languages.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 27, doi. 10.1093/comjnl/45.1.27
- By:
- Publication type:
- Article
A Thread of HOL Development.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 37, doi. 10.1093/comjnl/45.1.37
- By:
- Publication type:
- Article
Formal Methods for Assuring Security of Protocols.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 46, doi. 10.1093/comjnl/45.1.46
- By:
- Publication type:
- Article
A Modal Logic for Full LOTOS based on Symbolic Transition Systems.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 55, doi. 10.1093/comjnl/45.1.55
- By:
- Publication type:
- Article
Traffic Modelling and Probabilistic Process Abstraction.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 62, doi. 10.1093/comjnl/45.1.62
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- 2002
- By:
- Publication type:
- Book Review
Differentiated Information Presentations for Heterogeneous I/O Devices using a Single Mark-up Language Approach.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 72, doi. 10.1093/comjnl/45.1.72
- By:
- Publication type:
- Article
Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 88, doi. 10.1093/comjnl/45.1.88
- By:
- Publication type:
- Article