5 Results for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
Refined by:
subject:
Computer Science, Software Engineering
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP RequestProgramming 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/S0361768820050072Digital Resources/Online E-Resources |
| 2 |
Material Type: Article
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsTheory 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/S1471068410000025Full text available |
| 3 |
Material Type: Book Chapter
|
|
The Dependency Triple Framework for Termination of Logic ProgramsLogic-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_4Digital Resources/Online E-Resources |
| 4 |
Material Type: Book Chapter
|
|
Termination Analysis of Logic Programs Based on Dependency GraphsLogic-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_2Digital Resources/Online E-Resources |
| 5 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphspublic 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2Digital Resources/Online E-Resources |
Personalize your results
Refine Search Results
Expand My Results
Show only
Resource Type
- Articles (2)
- Book Chapters (2)
- Conference Proceedings (1)
-
More options
Subject
- Computer Science, Theory & Methods (4)
- Polynomial Interpretations (2)
- Logic Programming (2)
- Acceptability (1)
- Feasibility (1)
- Computer Networks (1)
- Computer Security (1)
- Datasets (1)
- Artificial Intelligence (1)
- Algorithms (1)
- Applications Programs (1)
- Data Base Management Systems (1)
- Logic (1)
- Dependency Graph (1)
- Denial Of Service Attacks (1)
- Firewalls (1)
-
More options
Databases
Journal Title
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||