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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  36 نتائج ل ""formal description""

فلترة النتائج

Collection : Universite Toulouse 2 - Jean Jaures
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare

Subjects: Patient Monitoring; Medical Informatics; Formal Description TechniquesGraz; Austria

  • Source: Lecture Notes in Computer Science ; 3rd Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society (USAB 2007) ; https://hal.science/hal-03662274

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

اقرأ أكثر حفظ في قائمتي
×
Conference

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog

Subjects: Interactive system; Generic and specific properties; AircraftLas Vegas; United StatesLas Vegas, Nevada, United States

  • Source: Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings,

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Formal description of multi-touch interactions

Subjects: Tactile interactions; Development process; Model-basedapproachesLondres; United Kingdom

  • Source: EICS'13: ACM SIGCHI Symposium on Engineering Interactive Computing Systems ; ACM SIGCHI conference Engineering Interactive Computing Systems - EICS 2013 ; https://hal.science/hal-04083399 ; ACM SIGCHI

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

اقرأ أكثر حفظ في قائمتي
×
Conference

UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems

Subjects: User Interface Description Languages (UIDLs); UsiXML; Interactive systemsLisbonne; Portugal

  • Source: UsiXML Workshop together with IFIP TC 13 conference on HCI (INTERACT 2011), ; IFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011) ;

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

اقرأ أكثر حفظ في قائمتي
×
Conference

StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications

Subjects: [INFO.INFO-WB]Computer Science [cs]/Web; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Funchal; Portugal

  • Source: Lecture Notes in Computer Science ; 10th International Workshop on Interactive Systems. Design, Specification, and Verification (DSV-IS 2003) ; https://hal.science/hal-03664737 ; 10th International

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

اقرأ أكثر حفظ في قائمتي
×
Conference

A Generic Formal Description Technique for Fusion Mechanisms of Multimodal Interactive Systems

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Las Palmas; Spain

  • Source: Workshop on Multimodal Resources and Multimodal Systems (2002) In association with LEREC 2002 ; https://hal.science/hal-03667071 ; Workshop on Multimodal Resources and Multimodal Systems (2002) In

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

اقرأ أكثر حفظ في قائمتي
×
Conference

A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Toulouse; France

  • Source: International Conference on Human-Computer Interaction in Aeronautics (HCI Aéro 2004) ; https://hal.science/hal-03664731 ; International Conference on Human-Computer Interaction in Aeronautics (HCI

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions

Subjects: Multi-touch interactions; Model-based approaches; Formal description techniquesRoma; Italy

  • Source: Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems ; 6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2014 ;

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

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Contribution to the design of real-time systems based on the RT-Lotos formal description technique ; Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos

Subjects: Real-Time Systems; Formal Methods; Timed Automata

  • Source: https://theses.hal.science/tel-00005228 ; Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2002. Français. ⟨NNT : ⟩.

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

اقرأ أكثر حفظ في قائمتي
×
Conference

A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems

Subjects: Dependability; Fault- Tolerant Architecture; Formal Description TechniquesToulouse; France

  • Source: ERTS 2014 proceedings ; Conference Embedded Real Time Software and Systems (ERTS 2014) ; https://hal.science/hal-02272197 ; Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  36 نتائج ل ""formal description""