6 research outputs found
Event-response systems
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textRefactoring in Maintenance and Development of Z Specifications and Proofs
- Author
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study
No full textSDL and MSC in international organizations
- Author
- F˦rgemand
- Grabowski
- I.130 (11/88)
- Mitchel
- Q.2971 (10/95) Broadband Integrated Services Digital Network (B-ISDN)
- Q.65 (11/88)
- Reed
- Regan
- Verhaard
- Z.100 (03/93)
- Z.100 - Functional Specification Description Language (SDL)
- Z.100 Addendum 1 (10/96)
- Z.105 (03/95)
- Z.106 (10/96)
- Z.110 — Criteria for the Use of Formal Description Techniques
- Z.120 (03/93)
- Z.120 (10/96)
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/1997
- Field of study
No full textBibliography of recent publications on computer communication
- Author
- Aby-Dayya A .
- Adie C .
- Aguirre G .
- Alajaji F .
- Ariyavisitakul S .
- Atiquzzaman M .
- Atkinson R .
- Awdeh R .
- Awdeh R .
- Awdeh R.Y .
- Bafutto M .
- Barry R.A .
- Berners-Lee T .
- Bersee J .
- Bilgen S .
- Bolotin V .
- Brandt-Pierce M .
- Brassil J .
- Broadcast
- Bruneel H .
- Burr W .
- Cerf V .
- Chawla K .
- Chawlu K .
- Chen X .
- Chlamtac I .
- Chlamtac I .
- Chon K .
- Cohen R .
- Cohen R .
- Colella R .
- Conrad D .
- Conti M .
- Conway A .
- Dahlin M .
- Danskin J .
- Datalink Protocols Baker F.
- David Oran
- Davids P .
- Deutsch P .
- Directory Service
- Dobosiewicz W .
- Elby S .
- Finseth C .
- Floyd S .
- Formal Specification
- Forster J .
- Fujioka M .
- Fullton J .
- Galanopoulos AS
- Ganz A .
- Getchell A .
- Gill D .
- Goldsmith D .
- Goldsmith D .
- Grandhi S .
- Gross P .
- Gschwind M.K .
- Guyton J .
- Gwinn A .
- Han A .
- Hardbound
- Hegde M .
- Heidemann J .
- Hong S .
- Houttuin J .
- Huang H .
- Hung N .
- IEEE Computer Society Press 1730 Massachusetts Avenue
- Internet Architecture Board
- Internet Architecture Board
- Johannsen T .
- Kamal A .
- Karmarkar V .
- Kessler J .
- Kim Y .
- Kondo K.
- Kosal H .
- Kwong W .
- Lee T.T .
- Liew S .
- Local Area Network
- Malladi S .
- Manfield D .
- Mann T .
- Manning B .
- Mansfield G .
- Martini P .
- McAuley J .
- Meckler Corporation (Electronic Networking) 11 Ferry Lane West
- Miller D .
- Mobile Networks Lu Q .
- Mukherjee B .
- Mun Y .
- Nam S .
- Nessett D.
- Network Measuremen
- Networks Akimaru H .
- Nicol D .
- Ofek Y .
- Ofek Y .
- Omundsen D .
- Onions J .
- Optical Networks Banerjee S .
- Parekh A K
- Pingali S .
- Piscitello D.
- Qian X .
- Qu Y .
- Reliability
- Rijsinghani A .
- Rolia J .
- Satellite Communicatio
- Schmidt D .
- Sheng H.-D.
- Sibilla M .
- Simmons J .
- Simpson W .
- Simpson W .
- Singh R .
- Sivarajan K .
- Slosiar R.
- Smith D .
- Sohraby K .
- Stallings W .
- Standards Bradner S .
- Stassinopoulos G .
- Sudhakar G .
- Taka M .
- Takine T .
- Torres L .
- Traffic Characterizatio
- Transport Protocols Braden R .
- Tutorials Kuhn P .
- van As H .
- van As H .
- Walker E .
- Watson G .
- Winters J .
- Wobber E .
- Wu T .
- Zeger K .
- Zepf J .
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full text
