default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st ICECCS 2016: Dubai, United Arab Emirates
- Hai Wang, Mounir Mokhtari:
21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-5526-5 - Van Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha
:
Fostering Software Architect and Programmer Collaboration. 3-12 - Flávio Oquendo:
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. 13-22 - Barry Dowdeswell, Roopak Sinha, Enrico Haemmerle:
TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems. 23-32 - Bingqing Xu, Qin Li:
A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles. 33-42 - Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn:
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. 43-52 - Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong:
Verification of Nash-Equilibrium for Probabilistic BAR Systems. 53-62 - Fano Ramparany, Ravi Mondi, Yves Demazeau:
A Semantic Approach for Managing Trust and Uncertainty in Distributed Systems Environments. 63-70 - Felix Leif Keppmann, Maria Maleshkova, Andreas Harth:
Semantic Technologies for Realising Decentralised Applications for the Web of Things. 71-80 - Muhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin:
Engineering Socially-Aware Systems and Applications. 81-90 - Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He:
Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. 91-100 - Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang:
Improving Quality of Use Case Documents through Learning and User Interaction. 101-110 - Wei Ji, Farn Wang, Peng Wu, Yi Lv:
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. 111-121 - Tao-Hung Chang, Davor Svetinovic:
Data Analysis of Digital Currency Networks: Namecoin Case Study. 122-125 - Jüri Vain, Leonidas Tsiopoulos, Jishu Guin:
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. 126-134 - Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin:
Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. 135-144 - Xin Zhang, Xiaohong Li, Zhiyong Feng, Guangquan Xu:
Universal Analysis and Detection Framework for Location Aided Routing. 145-154 - Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel:
Guiding the Selection of Security Patterns for Real-Time Systems. 155-164 - Sreesha Damodaran, Talal Shaikh, Nicholas K. Taylor:
Using Mobile Phone Based Camera to Read Information from a Li-Fi Source. 165-170 - Matt Stevens, Bryan C. K. Ng, David Streader, Ian Welch:
Towards SDN Network Proofs - Taming a Complex System. 171-180 - Elliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan:
From Code to Design: A Reverse Engineering Approach. 181-186 - Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche:
CostDL: A Cost Models Description Language for Performance Metrics in Database. 187-190 - Akshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan:
A Collaborative Code Review Platform for GitHub. 191-196 - Sara J. Casare, Tewfik Ziadi, Anarosa Alves Franco Brandão, Zahia Guessoum:
Meduse: An Approach for Tailoring Software Development Process. 197-200 - Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo:
Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. 201-206 - Mojgan Kamali, Luigia Petre:
Modelling Link State Routing in Event-B. 207-210 - Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais:
Towards a User-Guided Difference-Based Detection of Atomic Changes. 211-214 - Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed:
Extracting Permission-Based Specifications from a Sequential Java Program. 215-218 - Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong:
Towards Using Concurrent Java API Correctly. 219-222 - Sidou Dong, Aihua Ren, Xin Wang:
Application of Organizational Process Asset Library in High Maturity Process Improvement. 223-226 - Joaquim Bellmunt, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Martin Kodys:
Experimental Frailty Model towards an Adaptable Service Delivery for Aging People. 227-230 - Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu:
Automatic Construction of Callback Model for Android Application. 231-234 - Hamdi Aloulou, Romain Endelin, Mounir Mokhtari, Bessam Abdulrazak, Firas Kaddachi, Joaquim Bellmunt:
Detecting Inconsistencies in Rule-Based Reasoning for Ambient Intelligence. 235-240
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-06-16 11:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
