skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index
Refined by: subject: Computer Science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request
Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request
Material Type:
Article 		Add to My Research

Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request

Programming and computer software, 2020-09, Vol.46 (5), p.351-361 [Peer Reviewed Journal]

Pleiades Publishing, Ltd. 2020 ;Pleiades Publishing, Ltd. 2020. ;ISSN: 0361-7688 ;EISSN: 1608-3261 ;DOI: 10.1134/S0361768820050072

Digital Resources/Online E-Resources

Citations Cited by
2
A Combined Algorithm of Kalman Estimator and Guard Interval Optimization for Mobile WiMAX
A Combined Algorithm of Kalman Estimator and Guard Interval Optimization for Mobile WiMAX
Material Type:
Article 		Add to My Research

A Combined Algorithm of Kalman Estimator and Guard Interval Optimization for Mobile WiMAX

International journal of distributed systems and technologies, 2013-01, Vol.4 (1), p.16-28 [Peer Reviewed Journal]

Copyright © 2013, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. ;ISSN: 1947-3532 ;EISSN: 1947-3540 ;DOI: 10.4018/jdst.2013010102

Digital Resources/Online E-Resources

Citations Cited by
3
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Material Type:
Book Chapter 		Add to My Research

Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs

Lecture notes in computer science, 2005, p.311-325 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540292081 ;ISBN: 354029208X ;EISSN: 1611-3349 ;EISBN: 9783540319474 ;EISBN: 3540319476 ;DOI: 10.1007/11562931_24

Digital Resources/Online E-Resources

Citations Cited by
4
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Article 		Add to My Research

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]

Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Full text available

Citations Cited by
5
Polytool: Proving termination automatically based on polynomial interpretations
Polytool: Proving termination automatically based on polynomial interpretations
Material Type:
Conference Proceeding 		Add to My Research

Polytool: Proving termination automatically based on polynomial interpretations

public 528675 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-71410-1_15

Digital Resources/Online E-Resources

Citations Cited by
6
The Dependency Triple Framework for Termination of Logic Programs
The Dependency Triple Framework for Termination of Logic Programs
Material Type:
Book Chapter 		Add to My Research

The Dependency Triple Framework for Termination of Logic Programs

Logic-Based Program Synthesis and Transformation, p.37-51 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 3642125913 ;ISBN: 9783642125911 ;EISSN: 1611-3349 ;EISBN: 9783642125928 ;EISBN: 3642125921 ;DOI: 10.1007/978-3-642-12592-8_4

Digital Resources/Online E-Resources

Citations Cited by
7
Termination Analysis of Logic Programs Based on Dependency Graphs
Termination Analysis of Logic Programs Based on Dependency Graphs
Material Type:
Book Chapter 		Add to My Research

Termination Analysis of Logic Programs Based on Dependency Graphs

Logic-Based Program Synthesis and Transformation, p.8-22 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2008 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;EISBN: 9783540787693 ;EISBN: 3540787690 ;DOI: 10.1007/978-3-540-78769-3_2

Digital Resources/Online E-Resources

Citations Cited by
8
Polytool: Proving Termination Automatically Based on Polynomial Interpretations
Polytool: Proving Termination Automatically Based on Polynomial Interpretations
Material Type:
Book Chapter 		Add to My Research

Polytool: Proving Termination Automatically Based on Polynomial Interpretations

Logic-Based Program Synthesis and Transformation, p.210-218 [Peer Reviewed Journal]

Springer Berlin Heidelberg 2007 ;ISSN: 0302-9743 ;ISBN: 354071409X ;ISBN: 9783540714095 ;EISSN: 1611-3349 ;EISBN: 9783540714101 ;EISBN: 3540714103 ;DOI: 10.1007/978-3-540-71410-1_15

Digital Resources/Online E-Resources

Citations Cited by
9
Termination analysis of logic programs based on dependency graphs
Termination analysis of logic programs based on dependency graphs
Material Type:
Conference Proceeding 		Add to My Research

Termination analysis of logic programs based on dependency graphs

public 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2

Digital Resources/Online E-Resources

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait