scispace - formally typeset
K

Kenneth L. Calvert

Researcher at University of Kentucky

Publications -  125
Citations -  5861

Kenneth L. Calvert is an academic researcher from University of Kentucky. The author has contributed to research in topics: The Internet & Multicast. The author has an hindex of 27, co-authored 124 publications receiving 5729 citations. Previous affiliations of Kenneth L. Calvert include Georgia Institute of Technology & Georgia Tech Research Institute.

Papers
More filters
Journal ArticleDOI

Eliminating disjunctions of leads-to properties

TL;DR: A class of properties built up from basic temporal properties using boolean connectives is considered, which are of the form p + q (“p leads-to q”), where p and q are predicates in the program’s state variables.
Book ChapterDOI

Secure, customizable, many-to-one communication

TL;DR: This paper describes the implementation of a secure concast service, which leverages existing network-level security mechanisms (IPsec) to provide secure distribution of program code (merge specifications) as well as authentication of participating nodes.
Book ChapterDOI

A Flexible Concast-Based Grouping Service

TL;DR: This work presents a scalable and flexible grouping service based on concast and best-effort single-source multicast that can easily be customized to meet the grouping requirements of the application.
Journal ArticleDOI

Quantifying Deployability and Evolvability of Future Internet Architectures via Economic Models

TL;DR: A game-theoretic model is developed to characterize the outcome of an architecture’s deployment through the equilibrium of ISPs’ decisions and a mechanism to enhance the deployability of new architectures is designed.
Journal ArticleDOI

Leveraging emerging network services to scale multimedia applications

TL;DR: Multicast services have been used to transmit multimedia data to large receiver groups to provide similar scalability and anonymity in the opposite direction (i.e. messages from a group of senders destined for a common receiver).