Proceedings of WORDS'96

Proceedings of WORDS'96
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 264
Release: 1996
Genre: Computer networks
ISBN:

Index to IEEE Publications

Index to IEEE Publications
Author: Institute of Electrical and Electronics Engineers
Publisher:
Total Pages: 1212
Release: 1996
Genre: Electric engineering
ISBN:

Issues for 1973- cover the entire IEEE technical literature.

Proceedings

Proceedings
Author:
Publisher:
Total Pages: 312
Release: 1996
Genre: Quality assurance
ISBN:

Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada

Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 308
Release: 1997
Genre: Computers
ISBN:

This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.

Networking - ICN 2001

Networking - ICN 2001
Author: Pascal Lorenz
Publisher: Springer Science & Business Media
Total Pages: 924
Release: 2001-06-27
Genre: Business & Economics
ISBN: 3540423036

This book constitutes, together with its compagnion LNCS 2093,the refereed proceedings of the First International Conference of Networking, ICN 2001, held in Colmar, France, June 2001. The 168 papers presentedn were carefully reviewed and selected from around 300 submissions. The proceedings offers topical sections on third and fourth generation, Internet, traffic control, mobile and wireless IP, differentiated services, GPRS and cellular networks, WDM and optical networks, differentiated and integrated services, wirless ATM multicast, real-time traffic, wireless, routing, traffic modeling and simulation, user applications, mobility management, TCP analysis, QoS, ad hoc networks, security, MPLS, switches, COBRA, mobile agents, ATM networks, voice over IP, active networks, video communiccations, and modelization.

Implementation and Application of Automata

Implementation and Application of Automata
Author: Bruce Watson
Publisher: Springer Science & Business Media
Total Pages: 299
Release: 2003-01-16
Genre: Computers
ISBN: 3540004009

Intheseconferences,boththeoreticalandpracticalresultsrelatedto theapplicationandimplementationofautomatawerepresentedanddiscussed, andsoftwarepackagesandtoolkitsweredemonstrated. Theparticipantsofthe conferenceserieswerefrombothresearchinstitutionsandindustry. Wethankalloftheprogramcommitteemembersandrefereesfortheire?orts inrefereeingandselectingpapers. Thisvolumewaseditedwithmuchhelpfrom NanetteSaesandHannekeDriever,whiletheconferenceitselfwasrunsmoothly withthehelpofElmarieWillemse,NanetteSaes,andTheoKoopman. VI Foreword WealsowishtothanktheSouthAfricanNRF(forfundingairfares)andthe DepartmentofComputerScience,UniversityofPretoria,fortheir?nancialand logisticsupportoftheconference. WealsothanktheeditorsoftheLectureNotes inComputerScienceseriesandSpringer-Verlag,inparticularAnnaKramer,for theirhelpinpublishingthisvolume. October2002 BruceW.