• 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 8 matches

• 2012
• 
  Benjamin Aziz:
  Application of formal analysis to enhancing trust in a complex grid-based operating system. ISARCS 2012: 41-50
• 
  Funmilade Faniyi, Rami Bahsoon:
  Self-managing SLA compliance in cloud architectures: a market-based approach. ISARCS 2012: 61-70
• 
  Milena Guessi, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado:
  Architectural description of embedded systems: a systematic review. ISARCS 2012: 31-40
• 
  Manuel Oriol, Michael Wahler, Robin Steiger, Sascha Stoeter, Egemen Vardar, Heiko Koziolek, Atul Kumar:
  FASA: a scalable software framework for distributed control systems. ISARCS 2012: 51-60
• 
  Ricardo J. Rodríguez, Catia Trubiani, José Merseguer:
  Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems. ISARCS 2012: 21-30
• 
  Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois C. Knoll, Gernot Spiegelberg:
  Early safety evaluation of design decisions in E/E architecture according to ISO 26262. ISARCS 2012: 1-10
• 
  Christopher Staite, Rami Bahsoon:
  Evaluating identity management architectures. ISARCS 2012: 11-20
• 
  Vincenzo Grassi, Raffaela Mirandola, Jorge Cuéllar, Javier López:
  Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012. ACM 2012, ISBN 978-1-4503-1347-6 [contents]