13 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Buccafurri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
from 23 submissions. They are organized in the following topical sections: Web and semantics; diagnosis
Yazar
Mauw, Sjouke. editor.
Format:
Electronic Resources
Alıntı:
-- Ensuring Secure Non-interference of Programs by Game Semantics -- Stateful Usage Control for Android Mobile
View Other Search Results
Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Administrative Data Processing Ontologies -- Databases -- Semantics -- Cooperative Information Systems.-Cloud
Yazar
Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961
Format:
Electronic Resources
Alıntı:
innovation, semantics in networks of cognitive systems, cognitive systems for resilience management
5.
Yazar
Janjua, Naeem Khalid. author.
Format:
Electronic Resources
Alıntı:
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web
Yazar
Abadi, Martín. editor.
Format:
Electronic Resources
Alıntı:
A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems -- Stateful Applied Pi
Yazar
Krempels, Karl-Heinz. editor.
Format:
Electronic Resources
Alıntı:
Semantic Tags -- Web Service Discovery and Execution Using a Dialog-Based Approach -- Comparison of Mobile
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
. Application areas covered in this volume are: process mining, verification, formal semantics, communication
Yazar
Hildebrandt, Thomas. editor. (orcid)0000-0002-7435-5563
Format:
Electronic Resources
Alıntı:
-- Dynamic Reconfiguration of Business Processes -- A First-Order Logic Semantics for
Yazar
Hammoudi, Slimane. editor.
Format:
Electronic Resources
Alıntı:
Analysis of Trust-Skyline Sets -- Enabling Semantics in Enterprises -- Human-Computer Interaction
Yazar
Liu, Kecheng. editor.
Format:
Electronic Resources
Alıntı:
Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings / Liu
Yazar
Weske, Mathias. editor.
Format:
Electronic Resources
Alıntı:
Artifact-Centric Process Models -- Animating Multiple Instances in BPMN Collaborations: from Formal Semantics to
13 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: