Search Results for Semantics.

28 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Yazar

Kossak, Felix. author.

http://dx.doi.org/10.1007/978-3-319-09931-6

Format:

Electronic Resources

Alıntı:

A Rigorous Semantics for BPMN 2.0 Process Diagrams Kossak, Felix. author.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Yazar

Majkić, Zoran. author.

http://dx.doi.org/10.1007/978-3-319-04156-8

Format:

Electronic Resources

Alıntı:

Semantics / Majkić, Zoran. author.

Semantic Web Technologies and Legal Scholarly Publishing

Yazar

Peroni, Silvio. author.

http://dx.doi.org/10.1007/978-3-319-04777-5

Format:

Electronic Resources

Alıntı:

Semantic Web Technologies and Legal Scholarly Publishing Peroni, Silvio. author.

Data Quality Management with Semantic Technologies

Yazar

Fürber, Christian. author.

http://dx.doi.org/10.1007/978-3-658-12225-6

Format:

Electronic Resources

Alıntı:

Data Quality Management with Semantic Technologies Fürber, Christian. author.

Taxonomy Matching Using Background Knowledge Linked Data, Semantic Web and Heterogeneous Repositories

Yazar

Angermann, Heiko. author.

https://doi.org/10.1007/978-3-319-72209-2

Format:

Electronic Resources

Alıntı:

Taxonomy Matching Using Background Knowledge Linked Data, Semantic Web and Heterogeneous

Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers

Yazar

Mirto, Ignazio Mauro. editor.

https://doi.org/10.1007/978-3-030-10868-7

Format:

Electronic Resources

Alıntı:

syntax, and semantics. The papers in this volume are organized in topical sections on vocabulary and

The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings

Yazar

Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610

https://doi.org/10.1007/978-3-030-02302-7

Format:

Electronic Resources

Alıntı:

of modeling methods; semantics and reasoning, experience reports; and teaching challenges.

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Yazar

Cornélio, Márcio. editor.

http://dx.doi.org/10.1007/978-3-319-29473-5

Format:

Electronic Resources

Alıntı:

-- Languages and Semantics -- Mobile CSP -- Evaluating the Assignment of Behavioral Goals to Coalitions of

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Yazar

Tuosto, Emilio. editor.

http://dx.doi.org/10.1007/978-3-319-08260-8

Format:

Electronic Resources

Alıntı:

unordered lossy communication -- Dynamic ontologies and semantic Web rules as biographical reactive systems

10.

Fundamentals of Service Systems

Yazar

Cardoso, Jorge. editor.

http://dx.doi.org/10.1007/978-3-319-23195-2

Format:

Electronic Resources

Alıntı:

Foundations -- Electronic Services -- Service Innovation -- Service Design -- Service Semantics

11.

UML @ Classroom An Introduction to Object-Oriented Modeling

Yazar

Seidl, Martina. author.

http://dx.doi.org/10.1007/978-3-319-12742-2

Format:

Electronic Resources

Alıntı:

the semantics of the individual language elements, but also pragmatic aspects, i.e., how to use them

12.

Security and Trust Management 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings

Yazar

Mauw, Sjouke. editor.

http://dx.doi.org/10.1007/978-3-319-11851-2

Format:

Electronic Resources

Alıntı:

-- Ensuring Secure Non-interference of Programs by Game Semantics -- Stateful Usage Control for Android Mobile

	{displayName}	{count}
{error}