We analyze the spanning tree algorithm in the IEEE 1394.1 draft standard, which correctness has not previously been proved. This algorithm is a fully-dynamic distributed graph algorithm, which, in general, is hard to develop. The approach we use is to formally develop an algorithm that is almost equivalent to it: First, based on a formal specification and an abstraction of the network, we syste...

ADC data sheets and test methods are not yet standardized. A new attempt to create a common platform for these is the draft standard IEEE-STD-1241. However, the methods described in this standard need an extra effort from the user to exactly understand and implement them. It is therefore very reasonable to provide programs which implement these methods, and allow manufacturers and users to use ...

The IEEE 802.11 wireless network uses a hard handoff mechanism and thus makes it hard for higher layer mobility protocols to implement lossless handovers. In this paper we will show that using IEEE 802.11 transmission feedback data, we can optimize our smooth Mobile IP handoff scheme. Key–Words: IEEE 802.11, Mobile IP, fast handovers, crosslayer, smooth handovers

tions in his research fields including the book ‘Control in Power Electronics’ (Eds. M.P. Kazmierkowski, R. Krishnan, F. Blaabjerg) 2002, Academic Press. During the last years he has held a number of chairman positions in research policy and research funding bodies in Denmark. He is associated editor of the IEEE Transactions on Industry Applications, IEEE Transactions on Power Electronics, Jour...

We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The measurement model can be used to generate the measurements predicted by a given parameterized model of an experimental object. We also describe extensions to the graphical programming tool that allow it to be used to p...

The broadband wireless access industry, which provides high-rate network connections to stationary sites, has matured to the point at which it now has a standard for second-generation wireless metropolitan area networks. IEEE Standard 802.16, with its WirelessMANTM air interface, sets the stage for widespread and effective deployments worldwide. This article overviews the technical medium acces...