Source: Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005, Namur, Belgium, April 23, 2005; in conjunction with Coordination'05), 93-113

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Putting Web Services in Context

Authors : David Martin

Subjects: Web standards; medicine.medical_specialty; General Computer Science

Source: Electronic Notes in Theoretical Computer Science. 146:3-16

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

An Overview of Semantic Web Services Composition Approaches

Authors : Yasmine Charif; Nicolas Sabouret;

Subjects: Web standards; medicine.medical_specialty; General Computer Science

Source: CWS 2005-1st International Workshop on Context for Web ServicesCWS 2005-1st International Workshop on Context for Web Services, Jul

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

A Federated Layer to Integrate Heterogeneous Knowledge

Authors : Alejandra Cechich; Agustina Buccella; Nieves R. Brisaboa

Subjects: Knowledge management; General Computer Science; Ontology

Source: Electronic Notes in Theoretical Computer Science. 142:79-97

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Ontologies for Specifying and Reconciling Contexts of Web Services

Authors : Nanjangud C. Narendra; Zakaria Maamar; S. Sattanathan

Subjects: Web standards; medicine.medical_specialty; General Computer Science

Source: Electronic Notes in Theoretical Computer Science. 146:43-57

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Adaptable Mixed-Initiative Proof Planning for Educational Interaction

Authors : Martin Pollet; Erica Melis; Andreas Meier

Subjects: General Computer Science; Programming language; business.industry

Source: Electronic Notes in Theoretical Computer Science. 103:105-120

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning

Authors : Manoel Messias Menezes; Leila Silva; André Luis Faria e Silva

Subjects: Reduction strategy; Focus (computing); Correctness

Source: Electronic Notes in Theoretical Computer Science. 95:63-82

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts

Authors : Alessandro Ricci; Mirko Viroli; Andrea Omicini

Subjects: General Computer Science; Syntax (programming languages); Programming language

Source: Electronic Notes in Theoretical Computer Science. 85:17-36

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Coordination as a Service: Ontological and Formal Foundation

Authors : Andrea Omicini; Mirko Viroli

Subjects: Service (systems architecture); General Computer Science; Computer science

Source: Electronic Notes in Theoretical Computer Science. 68(3):457-482

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Argumentative Agent Deliberation, Roles and Context

Authors : Kakas, Antonis C.; Moraïtis, Pavlos;

Subjects: Argumentative; Knowledge management; General Computer Science

Source: CLIMA'2002, Computational Logic in Multi-Agent Systems (FLoC Satellite Event)Electron.Notes Theor.Comput.Sci.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

CTML

Authors : Graziella Tonfoni

Subjects: Markup language; General Computer Science; Computer science

Source: Electronic Notes in Theoretical Computer Science. 43:152-161

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

May Testing, Non-interference, and Compositionality

Authors : Steve Schneider

Subjects: General Computer Science; Computer science; business.industry

Source: Electronic Notes in Theoretical Computer Science. 40:361-391

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Cryptographic Security of Reactive Systems

Authors : Birgit Pfitzmann; Matthias Schunter; Michael Waidner

Subjects: Theoretical computer science; General Computer Science; business.industry

Source: Electronic Notes in Theoretical Computer Science. 32:59-77

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Abstract Games for Linear Logic Extended Abstract

Authors : Andrea Schalk; Martin Hyland

Subjects: General Computer Science; Computer science; Simple (abstract algebra)

Source: CTCS

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

A categorical account of two-level languages

Authors : Eugenio Moggi

Subjects: General Computer Science; business.industry; Computer science

Source: MFPS

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Preface

Authors : Dieter Hutter; Klaus Fischer

Subjects: General Computer Science; Operations research; Computer science

Source: Electronic Notes in Theoretical Computer Science. 63:181-182

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Preface

Authors : Howard Bowman

Subjects: Model checking; General Computer Science; Operations research

Source: Electronic Notes in Theoretical Computer Science. 43:162-163

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي