Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

F. D. Smith

dblp:271/1941 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1982
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer networks
1 paper
Internet architecture and protocols · 50% Network management and operations · 50%
Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 100%

Topics — the 2 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Internet architecture and protocols
network architecture specification		 0.011982
A Meta-Implementation for Systems Network Architecture · IEEE Trans. Commun. 1982
Network management and operations › protocol verification
protocol validation		 0.011982
A Meta-Implementation for Systems Network Architecture · IEEE Trans. Commun. 1982

Methods — techniques the papers use, named apart from their topics

meta-implementation · 0.0format and protocol language · 0.0
YearPublicationVenuePosition
1982 A Meta-Implementation for Systems Network Architecture
abstract
IBM's Systems Network Architecture (SNA) is formally defined by a meta-implementation program written in the Format and Protocol Language (FAPL). This paper describes the structure of the SNA meta-implementation and the development of FAPL. The most interesting aspect of the meta-implementation is that the architecture specification of SNA is itself machine executable. This property leads to a number of applications in software technology, such as automated protocol validation and direct Implementation from the formal specification.
Diane Pozefsky, F. D. Smith
 IEEE Trans. Commun.2