Sciweavers

15

CJ
2002

81views more CJ 2002»

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

13 years 4 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 »

13

CJ
2002

81views more CJ 2002»

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

13 years 4 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 »

13

CJ
2002

61views more CJ 2002»

RASCAL: Calculation of Graph Similarity using Maximum Common Edge Subgraphs

13 years 4 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 »

11

CJ
2002

70views more CJ 2002»

Formal Methods for Assuring Security of Protocols

13 years 4 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 »

13

CJ
2002

73views more CJ 2002»

A Thread of HOL Development

13 years 4 months ago

A Thread of HOL Development

Download nicta.com.au

Michael Norrish, Konrad Slind

claim paper

Read More »

13

CJ
2002

67views more CJ 2002»

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

13 years 4 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 »

13

CJ
2002

57views more CJ 2002»

Quantitative Analysis of UML Statechart Models of Dependable Systems

13 years 4 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 »

14

CJ
2002

65views more CJ 2002»

Reverse Execution of Java Bytecode

13 years 4 months ago

Reverse Execution of Java Bytecode

Download www.dcs.ed.ac.uk

Jonathan J. Cook

claim paper

Read More »

12

CJ
2002

65views more CJ 2002»

Report on the EFIS 2001 Workshop

13 years 4 months ago

Report on the EFIS 2001 Workshop

Download www.compapp.dcu.ie

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

claim paper

Read More »

12

CJ
2002

69views more CJ 2002»

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

13 years 4 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 »