A Temporal Logic Based Framework for Intrusion Detection
We propose a framework for intrusion detection that is based on run ... In this paper, we adopt a temporal logic approach to signature-based intrusion detec ...
osl.cs.uiuc.edu/docs/intrusion/intrusion.pdf
• Found exclusively on: Yahoo! Search
XSB
Flora is an object-oriented language for building knowledge-intensive applications, which is based on the ideas of F-Logic, ... XMC is the main product of the Logic-based Model Checking ...
xsb.sourceforge.net/
• Found exclusively on: Ask.com
All-optical logic based on silicon micro-ring resonators
The experiment setup used to demonstrate the all-optical logic based on the ring resonator is shown in Fig. 3. A cw light from a tunable laser is modulated ...
nanophotonics.ece.cornell.edu/Publications/All-opt...
• Found exclusively on: Google
Maude
The Maude System ... Rewriting Logic ... Some Papers on Maude and on Rewriting Logic
maude.cs.uiuc.edu/
• Found exclusively on: Ask.com
A Regulation-Centric, Logic-Based Compliance Assistance Framework
Logic can be added to the XML-based regulation document to facilitate ... sentence negating the target of the logic-based control statement. ...
eig.stanford.edu/publications/shawn_kerrigan/CP-22...
• Found exclusively on: Yahoo! Search
Logic-Based Granular Prototyping
A fuzzy logic based similarity measure is introduced as a criterion for the identification of structure in data. An important characteristic of the proposed approach is that ...
www.computer.org/portal/web/csdl/doi/10.1109/CMPSA...
• Found exclusively on: Bing
Logic-Based Model Checking
The Logic-Based Model Checking Project Stony Brook Computer Science. The objective of this project is to deploy the latest advances in concurrency research ...
www.cs.sunysb.edu/~lmc/
• Found exclusively on: Google
logicbased.com
logicbased.com
• Found exclusively on: Bing
Adding Constraints to Logic based Formalisms
e ect of adding constraints to existing logic based executable formalisms fo ... In this paper we look at combining constraint reasoning with logic based for ...
www.cse.unsw.edu.au/~mmaher/pubs/cp/lpp.pdf
• Found exclusively on: Yahoo! Search
LOPSTR 2003
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development, and the symposium is open to contributions in logic-bas...
www.cs.kuleuven.ac.be/~dtai/lopstr03/
• Found exclusively on: Ask.com
MulVAL: A Logic-based Network Security Analyzer
Binder, a logic-based security language. In Proceedings of the 2002 IEEE Sym- posium on Security and Privacy, page 105. IEEE. Computer Society, 2002. ...
www.cs.princeton.edu/~xou/publications/mulval_sec0...
• Found exclusively on: Google
Logic Based Methods
Logic-Based Methods for Global Optimization J. N. Hooker Carnegie Mellon University, USA November 2003
www.slideshare.net/Annie05/logic-based-methods-pre...
• Found exclusively on: Bing
The Association of Logic Programming (ALP)
Mission: The Association for Logic Programming (ALP) was founded in 1986, with the mission to contribute to the development of Logic Programming, relate it to other formal and also to...
www.cs.kuleuven.ac.be/~dtai/projects/ALP/
• Found exclusively on: Ask.com
Qualitative Comparison of Graph-based and Logic-based Multi ...
a representative of logic-based approaches and Subdue is se ... CProgol can be partially generalized to other logic-based ... a logic-based approach performs ...
ailab.wsu.edu/subdue/papers/KetkarMRDM05.pdf
• Found exclusively on: Yahoo! Search
Research in Natural Language Computing
The technical problems are answered by non-procedural logical constraint-based languages like Prolog. ... Why Can't Humans Talk to a Computer In English? ... Our Basic Linguistic and ...
www.nyu.edu/pages/linguistics/ling.html
• Found exclusively on: Ask.com
LOPSTR 2006
SCOPE OF THE SYMPOSIUM. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development.
www.dsi.unive.it/lopstr2006
• Found exclusively on: Bing
Semantic Web Service Composition via Logic-based Program ...
The approach described in this thesis uses Linear Logic-based theo ... lem from the viewpoint of logic-based program synthesis, and to propose an ...
www.cs.cmu.edu/~jinghai/papers/thesis.pdf
• Found exclusively on: Yahoo! Search
www-rdf-logic@w3.org Mail Archives
Provides a forum for technical discussion concerning the design of logic-based languages for use on the Web. ... The logic list, through association with the RDF Interest Group, also serv...
lists.w3.org/Archives/Public/www-rdf-logic/
• Found exclusively on: Ask.com
INSTITUTE OF CRITICAL THINKING
INSTITUTE OF . CRITICAL THINKING. NATIONAL CENTER FOR . LOGIC-BASED THERAPY . LBT: About Logic-Based Therapy. About the Institute. Board of Advisors. Books/Software
www.instituteofcriticalthinking.com
• Found exclusively on: Bing
Logic-Based Regulation Compliance-Assistance
Logic can be added to the XML-based regulation document to ... logic-based systems. Internal contradictions within the regulation ...
eil.stanford.edu/publications/shawn_kerrigan/ICAIL...
• Found exclusively on: Yahoo! Search