Tutorial: Formal methods for event processing

University of Crete; Forth - Institute of Computer Science; National Documentation Center (EKT)

Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: https://hdl.handle.net/10442/14379

Export to: BibTeX | EndNote | RIS

Σχετικές εγγραφές 17th International conference on extending database technology, EDBT/ICDT 2014, 4th Event EDBT Research session 14: Graph queries and analytics Benchmarking graph data management systems
Τίτλος :	Tutorial: Formal methods for event processing
Δημιουργός/Ομιλητής :	Paliouras, Georgios Artikis, Alexander
Εξειδίκευση τύπου :	Διάλεξη
Διοργανωτής συνάντησης :	University of Crete Forth - Institute of Computer Science
Παραγωγός :	National Documentation Center (EKT)
Ημερομηνία:	2014-03-27
Γλώσσα :	Αγγλικά
Μορφότυπο:	mp4
Διάρκεια:	01:28:57
Όνομα εκδήλωσης:	17th International conference on extending database technology, EDBT/ICDT 2014
Ημ/νία έναρξης εκδήλωσης :	2014-03-24
Ημ/νία λήξης εκδήλωσης :	2014-03-28
Τόπος εκδήλωσης:	Athens, Royal Olympic Hotel (28-34 Athanasiou Diakou Str.)
Θεματική κατηγορία:	[EL] Επιστήμη[EN] Science [EL] Τεχνολογία[EN] Technology [EL] Πληροφορική[EN] Information technology [EL] Πληροφοριακά συστήματα διοίκησης[EN] Management information systems
Λέξεις-Κλειδιά:	Big data High Level Event (HLE) Low Level Event (LLE) Patern Human Formal semantics Data management Computer network Development
Είναι μέρος του :	17th International conference on extending database technology, EDBT/ICDT 2014, 4th Event
Σημειώσεις:	Tutorial Session 3
Εμφανίζεται στις συλλογές:	Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ) - Δράσεις έως 2019

Αρχεία σε αυτό το τεκμήριο:

Το πλήρες κείμενο αυτού του τεκμηρίου δεν διατίθεται προς το παρόν από τον ΗΛΙΟ.