Sciweavers

8888 search results - page 1567 / 1778
» A New Peer-to-Peer Network
Sort
View
ICRA
1998
IEEE
141views Robotics» more  ICRA 1998»
15 years 11 months ago
On Discontinuous Human Control Strategies
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
Michael C. Nechyba, Yangsheng Xu
INFOCOM
1998
IEEE
15 years 11 months ago
Zero Queueing Flow Control and Applications
Zero Queueing Flow Control (ZQFC) is a new creditbased flow control method for ATM networks. The receiving node of such a flow-controlled link will have zero queueoccupancy in the...
H. T. Kung, Shie Yuan Wang
182
Voted
INFOCOM
1998
IEEE
15 years 11 months ago
Loop-Free Multipath Routing Using Generalized Diffusing Computations
A new distributed algorithm for the dynamic computation of multiple loop-free paths from source to destination in a computer network or internet are presented,validated, and analy...
William T. Zaumen, J. J. Garcia-Luna-Aceves
TPHOL
1998
IEEE
15 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
WETICE
1998
IEEE
15 years 11 months ago
A Deontic Formalism for Co-ordinating Software Development in Virtual Software Corporations
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
Zsolt Haag, Richard Foley, Julian Newman
« Prev « First page 1567 / 1778 Last » Next »