TISKOVÁ ZPRÁVA, Pod starým pláštěm moderní tělo Kongresové centrum Praha prochází významnými změnami. Po projektu energetických úspor, realizovaném firmou ENESA přicházejí na řadu opravy

Source URL: www.praguecc.cz

TISKOVÁ ZPRÁVA, Pod starým pláštěm moderní tělo Kongresové centrum Praha prochází významnými změnami. Po projektu energetických úspor, realizovaném firmou ENESA přicházejí na řadu opravy

Source URL: www.praguecc.cz

Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

Source URL: qav.comlab.ox.ac.uk

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Source URL: afnom.net

• Computing
• Hacking
• Human behavior
• Information and communications technology
• Telephone tapping
• Computer programming
• Hacker
• Internet security
• Wargame
• Security hacker

AFiniteNumberOfMonkeys Organising monkeys or How to run a hacking club Andreea-Ina Radu, Sam L. Thomas

Source URL: afnom.net

• CTFS
• Capture the flag
• Shellcode
• Human behavior
• Recreation

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

Source URL: qav.comlab.ox.ac.uk

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

Source URL: qav.comlab.ox.ac.uk

• Mathematical optimization
• Systems science
• Engineering
• Analysis
• Vilfredo Pareto
• Design of experiments
• Systems engineering
• Engineering statistics
• Pareto efficiency
• Optimal design
• PRISM model checker
• Reliability engineering

VLADA REPUBLIKE HRVATSKE Savjet za razvoj civilnoga društva IZVJEŠĆE O RADU SAVJETA ZA RAZVOJ CIVILNOGA DRUŠTVA

Source URL: udruge.gov.hr

Kodeks o radu Centra za ženske studije

Source URL: www.zenskestudie.edu.rs

2014 IEEE Symposium on Security and Privacy SoK: Introspections on Trust and the Semantic Gap Bhushan Jain, Mirza Basim Baig, Dongli Zhang, Donald E. Porter, and Radu Sion Stony Brook University {bpjain, mbaig, dozhang,

Source URL: oaklandsok.github.io