• 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

• 2017
• 
  Khadija Abid, Leila Hayet Mouss, Okba Kazar, Laïd Kahloul:
  Formal approach based on petri nets using agent paradigm for m-maintenance. Int. J. Crit. Comput. Based Syst. 7(1): 91-117 (2017)
• 
  Bogdan Aman, Gabriel Ciobanu:
  Verification of distributed systems involving bounded-time migration. Int. J. Crit. Comput. Based Syst. 7(3): 279-301 (2017)
• 
  Mouloud Atmani, Djamil Aïssani, Yassine Hadjadj Aoul:
  Modelling and analysis data fragmentation in IEEE 802.15.4 slotted CSMA/CA protocol without ACK mode. Int. J. Crit. Comput. Based Syst. 7(1): 4-21 (2017)
• 
  Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda:
  Analysing timed compatibility of web service choreography. Int. J. Crit. Comput. Based Syst. 7(3): 253-278 (2017)
• 
  Moustapha Bikienga, Annie Choquet-Geniet, Dominique Geniet:
  Validation of the actual behaviour of a real-time application. Int. J. Crit. Comput. Based Syst. 7(2): 190-208 (2017)
• 
  Pramod T. C, N. R. Sunitha:
  Key management infrastructure design and novel techniques to establish secure communications in critical infrastructures. Int. J. Crit. Comput. Based Syst. 7(2): 171-189 (2017)
• 
  Mohamad Chaitou:
  Performance evaluation of a novel redundancy method for videoconferencing traffic in MPLS networks. Int. J. Crit. Comput. Based Syst. 7(3): 225-252 (2017)
• 
  Mohamed Escheikh, Kamel Barkaoui:
  On the dependability evaluation of a virtual multiple input multiple output link. Int. J. Crit. Comput. Based Syst. 7(1): 43-58 (2017)
• 
  Alexander Gouberman, Martin Riedl, Markus Siegle:
  Analysing reward measures of LARES performability models by discontinuous Markov chains. Int. J. Crit. Comput. Based Syst. 7(1): 22-42 (2017)
• 
  Fateh Latreche, Faiza Belala:
  A layered Petri net model to formally analyse time critical web service composition. Int. J. Crit. Comput. Based Syst. 7(2): 119-137 (2017)
• 
  Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet:
  A formal verification of dynamic updating in a Java-based embedded system. Int. J. Crit. Comput. Based Syst. 7(4): 303-340 (2017)
• 
  Luis Eduardo Mendoza, Manuel I. Capel:
  A methodological approach for checking safety-critical systems software. Int. J. Crit. Comput. Based Syst. 7(4): 341-368 (2017)
• 
  Nadia Nahar, Kazi Sakib:
  Software semantics and syntax as a tool for automated test generation. Int. J. Crit. Comput. Based Syst. 7(4): 369-396 (2017)
• 
  Francesco Delli Priscoli, Alessandro Di Giorgio, Mariana Esposito, Andrea Fiaschetti, Francesco Flammini, Silvano Mignanti, Concetta Pragliola:
  Ensuring cyber-security in smart railway surveillance with SHIELD. Int. J. Crit. Comput. Based Syst. 7(2): 138-170 (2017)
• 
  Nadjette Rebouh, Ifeticene Ryma Asma, Aidoun Naoual, Louiza Bouallouche-Medjkoune:
  Failure detector-Ring Paxos-based atomic broadcast algorithm. Int. J. Crit. Comput. Based Syst. 7(1): 78-90 (2017)
• 
  P. Sanjeevi, P. Viswanathan:
  Smart homes IoT techniques for dynamic provision of cloud benefactors. Int. J. Crit. Comput. Based Syst. 7(3): 209-224 (2017)
• 
  Mohand Yazid, Louiza Bouallouche-Medjkoune, Djamil Aïssani:
  Modelling and performance analysis of video and voice streams in the IEEE 802.11e-EDCA WLANs with TXOP bursting under fading channel. Int. J. Crit. Comput. Based Syst. 7(1): 59-77 (2017)