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

نتائج البحث

Filter
  • 1-38 ل  38 نتائج ل ""Software Engineering (cs.SE)""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

MROS: runtime adaptation for robot control architectures

Subjects: FOS: Computer and information sciences; models-at-runtime; control architecture

  • Source: Bozhinoski, D, Oviedo, M G, Garcia, N H, Deshpande, H, Hoorn, G V D, Tjerngren, J, Wasowski, A & Corbato, C H 2022, ' MROS: runtime adaptation for robot control architectures ', Advanced Robotics,

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

×

MeLa: A Programming Language for a New Multidisciplinary Oceanographic Float

Subjects: Domain-specific language; Float (project management); Computer science

  • Source: SensorsVolume 20Issue 21Sensors, MDPI, 2020, 20 (21), pp.6081. ⟨10.3390/s20216081⟩Sensors, Vol 20, Iss 6081, p 6081 (2020)Sensors (Basel, Switzerland)Sensors

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

×

Efficient Hybrid Emergency Aware MAC Protocol for Wireless Body Sensor Networks

Subjects: Computer science; delay; Access control

  • Source: Sensors, Vol 18, Iss 10, p 3572 (2018)Sensors (Basel, Switzerland)SensorsVolume 18Issue 10Sensors, MDPI, 2018, 18 (10), pp.3572 (18). ⟨10.3390/s18103572⟩

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

×

Theoretical Study of the One Self-Regulating Gene in the Modified Wagner Model

Subjects: 0106 biological sciences; Dynamical systems theory; General Mathematics

  • Source: Mathematics; Volume 6; Issue 4; Pages: 58MathematicsMathematics, MDPI, 2018, 6 (4), pp.58. ⟨10.3390/math6040058⟩Mathematics, 2018, 6 (4), pp.58. ⟨10.3390/math6040058⟩

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

×

Gérer les informations temporelles dans et par les modèles informatiques

Subjects: temporal reasoning; calendriers; repeated events

  • Source: Revue Internationale de GéomatiqueRevue Internationale de Géomatique, Lavoisier, 2015, MODÉLISER LES DYNAMIQUES SPATIALES, 25 (3), pp.415-436. ⟨10.3166/RIG.25.415-436⟩

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

×

A formal model for output multimodal HCI

Subjects: Property (programming); Computer science; Liveness

  • Source: ComputingComputing, Springer Verlag, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740.

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

×

Template Metaprogramming Techniques for Concept-Based Specialization

Subjects: Generic programming; Theoretical computer science; Computer science

  • Source: Scientific Programming, Vol 21, Iss 1-2, Pp 43-61 (2013)Scientific ProgrammingScientific Programming, 2013, 21, pp.43-61. ⟨10.3233/SPR-130362⟩Scientific Programming, IOS Press,

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

×

Model-driven analysis and synthesis of textual concrete syntax

Subjects: MDD; MDE; Computer science

  • Source: Software and Systems ModelingSoftware and Systems Modeling, 2008, 7 (4), pp.423--442. ⟨10.1007/s10270-008-0088-x⟩

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

×

Nonlocal Estimation of Manifold Structure

Subjects: Theoretical computer science; Cognitive Neuroscience; ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION

  • Source: Neural ComputationNeural Computation, Massachusetts Institute of Technology Press (MIT Press), 2006, 18 (10), pp.2509-2528. ⟨10.1162/neco.2006.18.10.2509⟩

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

×

Supporting synchronous collaborative learning: A generic, multi-dimensional model

Subjects: Cooperative learning; Process (engineering); Computer science

  • Source: International Journal of Computer-Supported Collaborative LearningInternational Journal of Computer-Supported Collaborative Learning, 2006, 1 (2), pp.247-276. ⟨10.1007/s11412-006-8996-7⟩

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

×

Measuring the fitness relationship

Subjects: Matching (statistics); Engineering; business.industry

  • Source: Requirements EngineeringRequirements Engineering, Springer Verlag, 2005, 10 (3), pp.184-197. ⟨10.1007/s00766-005-0003-8⟩

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

×

Compositional schedulability analysis of real-time actor-based systems

Subjects: Earliest deadline first scheduling; Model checking; Theoretical computer science

  • Source: ACTA INFORMATICAACTA INFORMATICA, 54(4), 343-378Acta InformaticaActa Informatica, Springer Verlag, 2017, 54 (4), pp.343-378. ⟨10.1007/s00236-015-0254-x⟩Acta informatica,

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

×
  • 1-38 ل  38 نتائج ل ""Software Engineering (cs.SE)""