Sciweavers

40

CJ
2002

81views more CJ 2002»

A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks

13 years 10 months ago

A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks

Download www.jos.org.cn

Shih-Lin Wu, Yu-Chee Tseng, Chih-Yu Lin, Jang-Ping...

claim paper

Read More »

25

CJ
2002

81views more CJ 2002»

Lower Bounds for One-to-one Packet Routing on Trees using Hot-Potato Algorithms

13 years 10 months ago

Lower Bounds for One-to-one Packet Routing on Trees using Hot-Potato Algorithms

Download www.ms.unimelb.edu.au

Alan Roberts, Antonios Symvonis, David R. Wood

claim paper

Read More »

30

CJ
2002

61views more CJ 2002»

RASCAL: Calculation of Graph Similarity using Maximum Common Edge Subgraphs

13 years 10 months ago

RASCAL: Calculation of Graph Similarity using Maximum Common Edge Subgraphs

Download iasl.iis.sinica.edu.tw

John W. Raymond, Eleanor J. Gardiner, Peter Willet...

claim paper

Read More »

22

CJ
2002

70views more CJ 2002»

Formal Methods for Assuring Security of Protocols

13 years 10 months ago

Formal Methods for Assuring Security of Protocols

Download www.ecs.syr.edu

l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...

Susan Older, Shiu-Kai Chin

claim paper

Read More »

25

CJ
2002

73views more CJ 2002»

A Thread of HOL Development

13 years 10 months ago

A Thread of HOL Development

Download nicta.com.au

Michael Norrish, Konrad Slind

claim paper

Read More »

27

CJ
2002

67views more CJ 2002»

Using Bloom Filters to Speed-up Name Lookup in Distributed Systems

13 years 10 months ago

Using Bloom Filters to Speed-up Name Lookup in Distributed Systems

Download www.cs.ncl.ac.uk

Bloom filters make use of a "probabilistic" hash-coding method to reduce the amount of space required to store a hash set. A Bloom filter offers a trade-off between its ...

Mark C. Little, Santosh K. Shrivastava, Neil A. Sp...

claim paper

Read More »

28

CJ
2002

57views more CJ 2002»

Quantitative Analysis of UML Statechart Models of Dependable Systems

13 years 10 months ago

Quantitative Analysis of UML Statechart Models of Dependable Systems

Download www3.informatik.uni-erlangen.de

Gábor Huszerl, István Majzik, Andr&a...

claim paper

Read More »

32

CJ
2002

65views more CJ 2002»

Reverse Execution of Java Bytecode

13 years 10 months ago

Reverse Execution of Java Bytecode

Download www.dcs.ed.ac.uk

Jonathan J. Cook

claim paper

Read More »

28

CJ
2002

65views more CJ 2002»

Report on the EFIS 2001 Workshop

13 years 10 months ago

Report on the EFIS 2001 Workshop

Download www.compapp.dcu.ie

Stefan Conrad, Wilhelm Hasselbring, Anne E. James,...

claim paper

Read More »

30

CJ
2002

69views more CJ 2002»

A Comparative Cost Analysis of Degradable Location Management Algorithms in Wireless Networks

13 years 10 months ago

A Comparative Cost Analysis of Degradable Location Management Algorithms in Wireless Networks

Download people.cs.vt.edu

Ing-Ray Chen, Baoshan Gu

claim paper

Read More »