Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Specification of indicators of a national observatory of education system - application to Cameroon education system

Subjects: education system; human actors of the education system; collaborative workLagos; Nigeria

  • Source: Transition from Observation to Knowledge to Intelligence ; https://shs.hal.science/halshs-01470700 ; Transition from Observation to Knowledge to Intelligence, Aug 2014, Lagos, Nigeria

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

×
Conference

Structure des représentations logiques, polarisation et sous-spécification

Subjects: First order logic; predicate calculus; semantic representationDourdan; France

  • Source: Actes TALN (Traitement Automatique du langage naturel) ; https://shs.hal.science/halshs-00120402 ; Actes TALN (Traitement automatique du langage naturel), 2005, Dourdan, France. pp.153-162

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

×
Conference

VerChor: A Framework for Verifying Choreographies

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; [INFO]Computer Science [cs]Rome; Italy

  • Source: Fundamental Approaches to Software Engineering 2013 ; https://inria.hal.science/hal-00806788 ; Fundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. pp.226-230,

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

×
Conference

Les pratiques d'accès à l'information : le cas des ingénieurs-chercheurs d'un groupe industriel

Subjects: [SHS.INFO]Humanities and Social Sciences/Library and information sciencesFredericton; New Brunwick

  • Source: Exploring Interactions of People, Places and Information ; 39th Congress of the Canadian Association for Information Science ; https://hal.science/hal-00908551 ; 39th Congress of the Canadian

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

×
Conference

A Direct Formal Semantics for BPMN Time-Related Constructs

Subjects: BPMN; Timed Models; Workflowsonline; Czech Republic

  • Source: ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering ; https://hal.science/hal-03170814 ; ENASE 2021 - 16th International Conference on Evaluation of

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

×
  • 1-10 ل  49 نتائج ل ""specification""