نتائج البحث

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

• Authors : Carreira, Paulo; Amaral, Vasco; Vangheluwe, Hans

Subjects: Software Engineering; Cyber-physical systems, IoT; Special Purpose and Application-Based Systems

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

Structure of digital system description languages

• Authors : Jordan, Harry F.; Smith, Burton J.

• Source: Proceedings of the 1st annual symposium on Computer architecture - ISCA '73 ; page 31-34

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

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems

• Authors : Belloir, Nicolas; Chiprianov, Vanea; Ahmad, Manzoor ...

Subjects: systems of systems; D21 [Software Engineering]: System modeling languages- Software development methods; Requirements anal- ysisVienna; Austria

• Source: ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014) ; https://hal.science/hal-01082400 ; ECSA 2nd International Workshop on Software Engineering for

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

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

• Authors : Carreira, Paulo; Amaral, Vasco; Vangheluwe, Hans

Subjects: Software Engineering; Cyber-physical systems; IoT

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

DiKe – a model-based diagnosis kernel and its application.

• Authors : Baader, Franz; Brewka, Gerhard; Eiter, Thomas

• Source: AI Communications. 2002, Vol. 15 Issue 1, p17. 14p.

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

A Theory of Encodings and Expressiveness

• Authors : van Glabbeek, Rob

Subjects: Computer Science - Logic in Computer Science; F.1.2; text

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

Musings on Encodings and Expressiveness

• Authors : van Glabbeek, Rob

Subjects: Computer Science - Logic in Computer Science; F.1.2; text

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

High-Speed Performance, Power and Thermal Co-simulation For SoC Design

• Authors : Varma, Ankush

Subjects: Engineering, Electronics and Electrical; Thermal; SystemC

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

Population models from PEPA descriptions

• Authors : Hillston, Jane

Subjects: Stochastic Process Algebra, Fluid Approximation, Discrete vs Continuous models; Data processing Computer science; General Literature

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

The Representation of Families of Software Systems.

• Authors : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE; Cooprider,Lee W

Subjects: Computer Programming and Software; COMPUTER PROGRAMS; DATA BASES

• Source: DTIC AND NTIS

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