scholarly journals International Competition on Runtime Verification (CRV)

2019 ◽  
pp. 41-49 ◽  
Author(s):  
Ezio Bartocci ◽  
Yliès Falcone ◽  
Giles Reger
Keyword(s):  
Runtime Verification ◽  
International Competition

scholarly journals On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)

10.29007/l43m ◽  
2018 ◽  
Author(s):  
Domenico Bianculli ◽  
Srdjan Krstic
Keyword(s):  
Runtime Verification ◽  
Position Paper ◽  
International Competition ◽  
Run Time

In this position paper we discuss the risk of tool over-tuning inruntime verification competitions. We believe that the risk isinherently enabled by the format of the competitions and we discuss itin the context of the "First International Competition on Softwarefor Runtime Verification (CSRV~2014)", in which we participated.

scholarly journals Second International Competition on Runtime Verification

2015 ◽  
pp. 405-422 ◽  
Author(s):  
Yliès Falcone ◽  
Dejan Ničković ◽  
Giles Reger ◽  
Daniel Thoma
Keyword(s):  
Runtime Verification ◽  
International Competition ◽  
Second International

scholarly journals First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

2017 ◽  
Vol 21 (1) ◽  
pp. 31-70 ◽  
Author(s):  
Ezio Bartocci ◽  
Yliès Falcone ◽  
Borzoo Bonakdarpour ◽  
Christian Colombo ◽  
Normann Decker ◽  
...  
Keyword(s):  
Runtime Verification ◽  
International Competition

On retroeconomy

2017 ◽  
pp. 148-159
Author(s):  
V. Papava
Keyword(s):  
Developing Countries ◽  
Detrimental Effect ◽  
International Competition ◽  
The World ◽  
The Government ◽  
Role Of The Government

This paper analyzes the problem of technological backwardness of economy. In many mostly developing countries their economies use obsolete technologies. This can create the illusion that this or that business is prosperous. At the level of international competition, however, it is obvious that these types of firms do not have any chance for success. Retroeconomics as a theory of technological backwardness and its detrimental effect upon a country’s economy is considered in the paper. The role of the government is very important for overcoming the effects of retroeconomy. The phenomenon of retroeconomy is already quite deep-rooted throughout the world and it is essential to consolidate the attention of economists and politicians on this threat.

Models of Development Based on Technology Diffusion

2012 ◽  
pp. 117-131 ◽  
Author(s):  
O. Golichenko
Keyword(s):  
Knowledge Transfer ◽  
Technology Diffusion ◽  
Technology Development ◽  
International Competition ◽  
Global Knowledge ◽  
Technology Knowledge ◽  
Catching Up ◽  
Technological Potential ◽  
Models Of Development ◽  
Effective Use

The problems of multifold increase of technological potential of developing countries are considered in the article. To solve them, i.e. to organize effectively tapping into global knowledge and their absorption, the performance of two diffusion channels is considered: open knowledge transfer and commercial knowledge transfer. The models of technological catching-up are investigated. Two of them are found to give an opportunity of effective use of international competition and global technology knowledge as a driver of technology development.

ZONGULDAK İLİNDE İHRACAT YAPAN FİRMALARIN İHRACATTA KARŞILAŞTIKLARI SORUNLAR

2014 ◽  
Vol 1 (3) ◽  
pp. 249
Author(s):  
Ramazan Aksoy ◽  
Canan Yıldıran
Keyword(s):  
Production Costs ◽  
International Competition ◽  
Face To Face ◽  
Chamber Of Commerce ◽  
Statistical Program

In this study, it is subjected to define what kind of export problems come up for the company exporting in Zonguldak. It is interviewed with 35 exporter companies recorded in Turkey Exporters Assembly and Chamber of Commerce and Industry. Prepared questionnaire form’s data are analyzed with SPSS 15 statistical program as the results of the activity which is performed through face to face meetings with company’s executives. As the result of the analysis, it is defined that exporter companies face big problems in production costs as for carrying, storing and distribution and international competition conditions. As the result of the activities, we see that there is a relevance regarding whether there is an exporter department in the companies and regarding being a proactive and reactive exporter.

Sign in / Sign up

Export Citation Format

Share Document