Search
Now showing items 181-190 of 319
Democratization of runtime verification for internet of things
(Elsevier, 2018-05)
Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime ...
Alternating offers protocols for multilateral negotiation
(Springer International Publishing, 2017)
This paper presents a general framework for multilateral turn-taking protocols and two fully specified protocols namely Stacked Alternating Offers Protocol (SAOP) and Alternating Multiple Offers Protocol (AMOP). In SAOP, ...
A multi-channel real time implementation of dual tree complex wavelet Transform in field programmable gate arrays
(Springer International Publishing, 2016)
In medical applications, biomedical acquisition systems (BASs) are frequently used in order to diagnose and monitor critical conditions such as stroke, epilepsy, Alzheimer disease, arrhythmias and etc. Biomedical signals ...
A near Pareto optimal approach to student–supervisor allocation with two sided preferences and workload balance
(Elsevier, 2019-03)
The problem of allocating students to supervisors for the development of a personal project or a dissertation is a crucial activity in the higher education environment, as it enables students to get feedback on their work ...
Aktör tabanlı sistemler için test kapsama kriterleri
(CEUR-WS, 2018)
Aktör tabanlı sistemler, eşzamanlı çalışan ve birbirleri ile asenkron bir şekilde haberleşen aktör isimli otonom elemanlardan oluşmaktadırlar. Asenkron haberleşme sebebiyle aktörler arasında paylaşılan mesajların sıralaması ...
Identifying critical architectural components with spectral analysis of fault trees
(Elsevier, 2016-12)
We increasingly rely on software-intensive embedded systems. Increasing size and complexity of these hardware/software systems makes it necessary to evaluate reliability at the system architecture level. One aspect of this ...
Foreword
(The ACM Digital Library, 2019)
N/A
SDNHAS: An SDN-Enabled architecture to optimize qoe in http adaptive streaming
(IEEE, 2017-10)
HTTP adaptive streaming (HAS) is receiving much attention from both industry and academia as it has become the de facto approach to stream media content over the Internet. Recently, we proposed a streaming architecture ...
Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS
(IEEE, 2014)
The ARINC 653 specification not only provides a standard application programming interface for an RTOS, but also specifies how to validate an ARINC 653 based RTOS. ARINC 653 Part 3 Conformity Test Specification specifies ...
Preface
(2011)
Share this page