scholarly journals Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction

2010 ◽  
pp. 188-204 ◽  
Author(s):  
Fides Aarts ◽  
Bengt Jonsson ◽  
Johan Uijen
Keyword(s):  
Communication Protocols ◽  
Infinite State

scholarly journals Generating models of infinite-state communication protocols using regular inference with abstraction

2014 ◽  
Vol 46 (1) ◽  
pp. 1-41 ◽  
Author(s):  
Fides Aarts ◽  
Bengt Jonsson ◽  
Johan Uijen ◽  
Frits Vaandrager
Keyword(s):  
Communication Protocols ◽  
Infinite State

Sharing of Worldwide Spread Knowledge Using Hypermedia Facilities & Fast Communication Protocols (Mosaic and World Wide Web): The Example of ExPASy

1995 ◽  
Vol 34 (01/02) ◽  
pp. 75-78 ◽  
Author(s):  
R. D. Appel ◽  
O. Golaz ◽  
Ch. Pasquali ◽  
J.-C. Sanchez ◽  
A. Bairoch ◽  
...  
Keyword(s):  
World Wide Web ◽  
World Wide ◽  
Relevant Literature ◽  
Communication Protocols ◽  
Laboratory Data ◽  
Central Element ◽  
University Hospital ◽  
New Information ◽  
The University ◽  
Link Information

Abstract:The sharing of knowledge worldwide using hypermedia facilities and fast communication protocols (i.e., Mosaic and World Wide Web) provides a growth capacity with tremendous versatility and efficacy. The example of ExPASy, a molecular biology server developed at the University Hospital of Geneva, is striking. ExPASy provides hypermedia facilities to browse through several up-to-date biological and medical databases around the world and to link information from protein maps to genome information and diseases. Its extensive access is open through World Wide Web. Its concept could be extended to patient data including texts, laboratory data, relevant literature findings, sounds, images and movies. A new hypermedia culture is spreading very rapidly where the international fast transmission of documents is the central element. It is part of the emerging new “information society”.

Cost-Sensitive Analysis of Communication Protocols

1991 ◽  
Author(s):  
Baruch Awerbuch ◽  
Alan Baratz ◽  
David Peleg
Keyword(s):  
Communication Protocols ◽  
Sensitive Analysis
Sign in / Sign up

Export Citation Format

Share Document