Search Result Save to File Save as CSV
Your search for 40563 returns 4132 document(s)
VITAK: a visual tool for analysis of rules beavior in active database (LNCS-Lecture Notes in Computer Science 985)
Author: Emmanuel Benazet, Herve Guehl, Mokrane Bouzeghoub; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A visualization and explanation tool for debugging ECA rules in active databases (LNCS-Lecture Notes in Computer Science 985)
Author: S. Chakravarthy, Z. Tamizuddin, J. Zhou; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The Active database management system manifesto: a rulebase of ADBMS features (LNCS-Lecture Notes in Computer Science 985) Hal. 1-17
Author: Klaus R. Dittrich, Stella Gatziu, Andreas Geppert; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An Algebraic Approach to Static Analysis of Active Database Rules
Author: E. Baralis, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Rule contxts in active databases a mechanism for dynamic rule grouping (LNCS-Lecture Notes in Computer Science 985) hal. 117-130
Author: Martin Skold, Esa Falkenroth, Tore Risch; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Extending a functional DBPL with ECA-rules (LNCS-Lecture Notes in Computer Science 985) Hal. 101-115
Author: Swarup Reddi, Alex Poulovassilis, Carol Small; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Parallelizing union-find in constraint handling rules using confluence analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 113-127
Author: Thom Fruhwirth; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
prod 3.2 An advanced tool for efficient reachability analysis, (LNCS-Lecture Notes in Computer Science 1254) Hal 472-475
Author: Kimmo Varpaaniemi; Keijo Heljanko; Johan Lilius; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture Notes in Computer Science 1254) Hal 476-479
Author: Patrice Godefroid; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Putting advanced reachability analysis techniques together: the ARA tool, (LNCS-Lecture Notes in Computer Science 670) Hal 597-616
Author: Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next