• Suche: Model-checking based data retrieval

Treffer 1 - 20 von 2.436

1

Model-Checking Based Data Retrieval
Database programming languages
Dovier, A. ; Quintarelli, E.
LECTURE NOTES IN COMPUTER SCIENCE. :62-77

Konferenz
Merkliste
2

Small Target Detection Optimization Algorithm Based on Improved YOLOv5
You, Shijie ; Hui, Yan ; Hu, Xiuhua ; et al.
2023 6th International Conference on Computer Network, Electronic and Automation (ICCNEA) ICCNEA Computer Network, Electronic and Automation (ICCNEA), 2023 6th International Conference on. :134-138 Sep, 2023

Konferenz
Merkliste
3

Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data
Quintarelli, E.
LECTURE NOTES IN COMPUTER SCIENCE. (2917)

Zeitschrift
Merkliste
4

Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL
Web information systems and mining; PART 2
Zhang, G. ; Shi, H. ; Rong, M. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (6988):428-435

Konferenz
Merkliste
5

Model-based verification of data protection mechanisms in collaborative business processes.
Belluccini, Sara ; De Nicola, Rocco ; Dumas, Marlon ; et al.
Software & Systems Modeling. Apr2025, Vol. 24 Issue 2, p489-521. 33p.

BUSINESS process modelin... INFORMATION storage & re... ARTIFICIAL intelligence CHECKS IMAGE processing
Fachzeitschrift
Merkliste
6

Model-Checking Based Data Retrieval
Agostino Dovier ; Elisa Quintarelli ; The Pennsylvania State University CiteSeerX Archives
http://www.dimi.uniud.it/~dovier/PAPERS/DQ01llncs.pdf.

Fachzeitschrift
Merkliste
7

Dieses Ergebnis kann Gästen nicht angezeigt werden.

8

Model-Checking Based Data Retrieval: an application to semistructured and temporal data
E. Quintarelli ; Quintarelli, E.

Semi-structure data query language graphs bisimulation model-checking
Buch
Merkliste
9

Logical foundations of hierarchical model checking
Kamide, Norihiro
Data Technologies and Applications, 2018, Vol. 52, Issue 4, pp. 539-563.

Fachzeitschrift
Merkliste
10

3. Model-Checking Based Data Retrieval
Quintarelli, Elisa
Lecture Notes in Computer Science ; Model-Checking Based Data Retrieval ; page 51-82 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540209713 9783540246039

Buch
Merkliste
11

Model Checking Based Data Retrieval
DOVIER, Agostino ; QUINTARELLI E. ; Giorgio Ghelli, Gösta Grahne ; et al.

Semistructured database Graphical Language Bisimulation
Konferenz
Merkliste
12

Model-Checking Based Data Retrieval
A. Dovier ; QUINTARELLI, ELISA ; A., Dovier ; et al.

Konferenz
Merkliste
13

Reo + $$((\tt mCRL2))$$ : A framework for model-checking dataflow in service compositions.
Kokash, Natallia ; Krause, Christian ; Vink, Erik
Formal Aspects of Computing. Mar2012, Vol. 24 Issue 2, p187-216. 30p.

DATA flow computing SOFTWARE engineering REO (Information retriev... BUSINESS process outsour... SYNCHRONIZATION COMPUTER network resourc...
Fachzeitschrift
Merkliste
14

Model-Based Analysis of Money Accountability in Electronic Purses.
Deng, Xiaotie ; Ye, Yinyu ; Il-Gon Kim ; et al.
Internet & Network Economics. 2005, p346-355. 10p.

Buch
Merkliste
15

Deep learning-based multimodal pathogenomics integration for precision cancer prognosis.
Feng X ; Song G ; Zhang Y ; et al.
Publisher: BioMed Central Country of Publication: England NLM ID: 101190741 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1479-5876 (Electronic) Linking ISSN: 14795876 NLM ISO Abbreviation: J Transl Med Subsets: MEDLINE

Fachzeitschrift
Merkliste
16

基于Sentinel-1双极化雷达影像的土壤含盐量反演.
马驰
Transactions of the Chinese Society of Agricultural Engineering. 2018, Vol. 34 Issue 2, p153-158. 6p.

REMOTE sensing SOIL salinization
Fachzeitschrift
Merkliste
17

A Semi-Automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database.
Ma, Chuangtao ; Molnár, Bálint ; Benczúr, András ; et al.
Information. May2021, Vol. 12 Issue 5, p188. 1p.

Relational databases Computer logic Ontologies (Information... Description logics Representations of graph... Self-expression
Fachzeitschrift
Merkliste
18

Information requirement analysis for establishing intelligent natural language query interfaces in BIM-based construction projects.
Mengtian Yin ; Zhuoqian Wu ; Haotian Li ; et al.
Journal of Intelligent Construction; Jun2025, Vol. 3 Issue 2, p1-23, 23p

LANGUAGE models ARTIFICIAL intelligence BUILDING information mod... CONSTRUCTION management REQUIREMENTS engineering
Fachzeitschrift
Merkliste
19

Design of a Digital Personnel Management System for Swine Farms.
Jiang, Zhenyu ; Lyu, Enli ; Lin, Weijia ; et al.
Computers (2073-431X); Dec2025, Vol. 14 Issue 12, p556, 20p

CHINA BIOSECURITY PERSONNEL management DATA transmission system... ELECTRONIC authenticatio... SYNCHRONIZATION …
Fachzeitschrift
Merkliste
20

Design of Secure and Privacy-Preserving Data Sharing Scheme Based on Key Aggregation and Private Set Intersection in Medical Information System.
Oh, Jihyeon ; Son, Seunghwan ; Kwon, DeokKyu ; et al.
Mathematics (2227-7390); Jun2024, Vol. 12 Issue 11, p1717, 23p

INFORMATION sharing DATA privacy DATA encryption INFORMATION storage & re... TIME complexity ACCESS control …
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter