A Localization Method for the Internet of Things
A Locating-First Approach for Scalable Overlay Multicast
A Locked Orthogonal Tree
A Log Auditing Approach for Trust Management in Peer-to-Peer Collaboration
A Log-space Algorithm for Canonization of Planar Graphs
A Logic for Choreographies
A logic for networks
A Logic for Non-Monotone Inductive Definitions
A Logic for Reasoning about Digital Rights
A Logic for Reasoning about Evidence
A logic for reasoning about upper probabilities
A Logic for SDSI's Linked Local Name Spaces
A Logic for Strategy Updates
A Logic for True Concurrency
A Logic of Reachable Patterns in Linked Data-Structures
A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol
A Logic Programming Approach to Behaviour Recognition
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
A Logic Programming Framework for Combinational Circuit Synthesis
A Logic with Reverse Modalities for History-preserving Bisimulations