• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 17 matches

• 2016
• 
  Miloud Bennama, Thouraya Bouabana-Tebibel:
  A CTL-based OCL extension using CPN ML for UML validation. Int. J. Crit. Comput. Based Syst. 6(4): 302-321 (2016)
• 
  Bhoopesh Singh Bhati, Chandra Shekhar Rai:
  Intrusion detection systems and techniques: a review. Int. J. Crit. Comput. Based Syst. 6(3): 173-190 (2016)
• 
  Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui:
  A bigraph-based framework for specification and analysis of context-aware systems. Int. J. Crit. Comput. Based Syst. 6(4): 322-342 (2016)
• 
  Howard Chivers:
  Control consistency as a management tool: the identification of systematic security control weaknesses in air traffic management. Int. J. Crit. Comput. Based Syst. 6(3): 229-245 (2016)
• 
  Hichem Debbi, Aimad Debbi, Mustapha Bourahla:
  Debugging of probabilistic systems using structural equation modelling. Int. J. Crit. Comput. Based Syst. 6(4): 250-274 (2016)
• 
  Kirsty E. Lever, Kashif Kifayat:
  Risk assessment and attack graph generation for collaborative infrastructures: a survey. Int. J. Crit. Comput. Based Syst. 6(3): 204-228 (2016)
• 
  Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton:
  Hierarchical timed abstract state machines for WCET estimation. Int. J. Crit. Comput. Based Syst. 6(4): 343-363 (2016)
• 
  Florent Peres, Mohamed Ghazel:
  A µ-calculus formulation of the diagnosability of discrete event systems. Int. J. Crit. Comput. Based Syst. 6(4): 275-301 (2016)
• 
  Hamza Sahli, Faïza Belala, Chafia Bouanaka:
  Formal verification of cloud systems elasticity. Int. J. Crit. Comput. Based Syst. 6(4): 364-384 (2016)
• 
  H. Parveen Sultana, P. Venkata Krishna:
  Two-level medium access control in cyber physical system-based smart wireless networks. Int. J. Crit. Comput. Based Syst. 6(3): 191-203 (2016)
• 2015
• 
  Muhammad Asim, Hala M. Mokhtar, Muhammad Zahid Khan:
  An energy efficient management scheme for wireless sensor networks. Int. J. Crit. Comput. Based Syst. 6(2): 133-153 (2015)
• 
  Irene Bicchierai, Giacomo Bucci, Enrico Vicario:
  Supporting SW-FMEA through an ontology-based methodology. Int. J. Crit. Comput. Based Syst. 6(1): 1-28 (2015)
• 
  Andrea Ceccarelli, Andrea Bondavalli:
  On trustworthy measurements when testing dependable systems: a discussion and experiences. Int. J. Crit. Comput. Based Syst. 6(2): 154-170 (2015)
• 
  Vikash Katta, Christian Raspotnig, Péter Kárpáti, Tor Stålhane:
  Investigating fulfilment of traceability requirements in a combined process for safety and security assessments. Int. J. Crit. Comput. Based Syst. 6(2): 100-132 (2015)
• 
  Yasser Oussalah, Nadia Zeghib:
  Formal specification of flexible web service composition. Int. J. Crit. Comput. Based Syst. 6(2): 81-99 (2015)
• 
  Tatiana Prosvirnova, Antoine Rauzy:
  Automated generation of minimal cut sets from AltaRica 3.0 models. Int. J. Crit. Comput. Based Syst. 6(1): 50-80 (2015)
• 
  Pankaj Vyas, R. K. Mittal:
  The applications of SFTA and SFMEA approaches during software development process: an analytical review. Int. J. Crit. Comput. Based Syst. 6(1): 29-49 (2015)