Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Universal Analysis and Detection Framework for Location Aided Routing
Zhang, Xin, Li, Xiaohong, Feng, Zhiyong, Xu, Guangquan
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Get full text
Conference Proceeding
Loading…
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata
Wei Ji, Farn Wang, Peng Wu, Yi Lv
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Get full text
Conference Proceeding
Loading…
Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization
Bouaziz, Rahma, Lemarchand, Laurent, Singhoff, Frank, Zalila, Bechir, Jmaiel, Mohamed
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
Loading…
An Adaptive Auto-configuration Tool for Hadoop
Changlong Li, Hang Zhuang, Kun Lu, Mingming Sun, Jinhong Zhou, Dong Dai, Xuehai Zhou
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Get full text
Conference Proceeding
Loading…
Design and Analysis of Security Attacks against Critical Smart Grid Infrastructures
Byungho Min, Varadharajan, Vijay
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Get full text
Conference Proceeding
Loading…
Sports Strategy Analytics Using Probabilistic Reasoning
Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
Loading…
Formal Development of a Real-Time Operating System Memory Manager
Wen Su, Abrial, Jean-Raymond, Geguang Pu, Bin Fang
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
Loading…
Towards a Session Logic for Communication Protocols
Craciun, Florin, Kiss, Tibor, Costea, Andreea
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
Loading…
Knowledge Base Construction Process for Smart-City Services
Bellini, Pierfrancesco, Nesi, Paolo, Rauch, Nadia
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Get full text
Conference Proceeding
Loading…
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
Sinha, Roopak, Pang, Cheng, Martinez, Gerardo Santillan, Kuronen, Juha, Vyatkin, Valeriy
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
Loading…
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android
Bai, Guangdong, Sun, Jun, Wu, Jianliang, Ye, Quanqi, Li, Li, Dong, Jin Song, Guo, Shanqing
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
Loading…
Loading…
Experimental Frailty Model towards an Adaptable Service Delivery for Aging People
Bellmunt, Joaquim, Mokhtari, Mounir, Abdulzarak, Bessam, Aloulou, Hamdi, Kodys, Martin
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Get full text
Conference Proceeding
Loading…
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL
Peters, Judith, Wille, Robert, Drechsler, Rolf
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Get full text
Conference Proceeding
Loading…
Towards SDN Network Proofs - Taming a Complex System
Stevens, Matt, Ng, Bryan, Streader, David, Welch, Ian
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Get full text
Conference Proceeding
Loading…
Loading…
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode)
Gunadi, Hendra
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
Loading…
Loading…
From TiMo to Event-B: Event-Driven Timed Mobility
Ciobanu, Gabriel, Hoang, Thai Son, Stefanescu, Alin
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Published in 2014 19th International Conference on Engineering of Complex Computer Systems (01.08.2014)
Get full text
Conference Proceeding