Abstract
SummaryThe special issue with the title of “Context‐Aware Computing: Theory and Applications” edited by Prof. Phan Cong Vinh is presented to researchers in the field of context‐aware computing. This issue does not introduce a methodology for formal specification and reasoning in context‐aware computing. It presents theoretical bases in context‐aware computing and connects basic reasoning problems to other fundamental issues in context‐aware computing. In short, the special issue tries to get answer to the following question: “How far can it go in context‐aware computing specification and reasoning by representing context‐aware computing with formal notions in process algebras sense and reasoning with formal logics?”.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have