| |
Browse All Reviews > Data (E) > Coding And Information Theory (E.4) > Formal Models Of Communication (E.4...)
|
|
 |
|
|
| |
|
|
| |
1-6 of 6
Reviews about "Formal Models Of Communication (E.4...)":
|
Date Reviewed |
| |
Modelling timed reactive systems from natural-language requirements
Carvalho G., Cavalcanti A., Sampaio A. Formal Aspects of Computing 28(5): 725-765, 2016. Type: Article
Automated verification of software systems is an important area of current research in both academia and industry. Such methods have the potential to considerably reduce the cost of verification. Such techniques, however, depend on hav...
|
Mar 7 2017 |
| |
Formal modeling and automatic enforcement of Bring Your Own Device policies
Armando A., Costa G., Merlo A., Verderame L. International Journal of Information Security 14(2): 123-140, 2015. Type: Article
The diffusion of personal, network-enabled, electronic devices is forcing organizations to consider the enforcement of bring your own device (BYOD) policies; this proves to be true also for organizations that do not support BYOD comput...
|
Jul 14 2015 |
| |
Universal semantic communication
Juba B., Springer Publishing Company, Incorporated, New York, NY, 2011. 416 pp. Type: Book (978-3-642232-96-1)
The problem considered by this book is how two agents can successfully communicate in the absence of a prior agreement on the protocol to be used. Specific examples of potential applications include interfacing with device drivers and ...
|
Jul 13 2012 |
| |
Stochastic recovery problem
Darkhovsky B. Problems of Information Transmission 44(4): 303-314, 2008. Type: Article
This paper discusses the problem of estimating a functional from noisy observations of other functionals in the same class. For the case of convex functional classes and linear functionals, the solution to the problem is well known [1]...
|
May 21 2009 |
| |
A different approach to finding the capacity of a Gaussian vector channel
Tsybakov B. Problems of Information Transmission 42(3): 183-196, 2006. Type: Article
The capacity of a Gaussian multiple-input, multiple-output vector channel is considered in this paper. The problem of finding the capacity of a Gaussian channel has been previously studied; however, this paper follows a different appro...
|
Oct 15 2007 |
| |
Statistical and inductive inference by minimum message length (Information Science & Statistics)
Wallace C., Springer-Verlag New York, Inc., Secaucus, NJ, 2005. 432 pp. Type: Book (9780387237954)
This book presents the pioneering work of the late C.S. Wallace on minimum message length (MML), an innovative information-theoretic approach for statistical and inductive inference with a history of more than 35 years....
|
Jan 17 2006 |
| |
|
|
| |
|
|
