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

• 2005
• 
  Daniel Amyot, Alan W. Williams:
  System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3319, Springer 2005, ISBN 3-540-24561-8 [contents]
• 2004
• 
  Harald Böhme, Joachim Fischer:
  eODL and SDL in Combination for Components. SAM 2004: 17-32
• 
  Rolv Bræk, Jacqueline Floch:
  ICT Convergence: Modeling Issues. SAM 2004: 237-256
• 
  Margarita de Cabo, Manuel Rodríguez:
  Applying eODL and SDL-Patterns for Developing TMN Managed Systems. SAM 2004: 33-49
• 
  Cas J. F. Cremers, Sjouke Mauw:
  Checking Secrecy by Means of Partial Order Reduction. SAM 2004: 171-188
• 
  Jörg Dorsch, Anders Ek, Reinhard Gotzhein:
  SPT - The SDL Pattern Tool. SAM 2004: 50-64
• 
  Joachim Fischer, Michael Piefel, Markus Scheidgen:
  A Metamodel for SDL-2000 in the Context of Metamodelling ULF. SAM 2004: 208-223
• 
  Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible:
  A Flexible Micro Protocol Framework. SAM 2004: 224-236
• 
  Jameleddine Hassine, Rachida Dssouli, Juergen Rilling:
  Applying Reduction Techniques to Software Functional Requirement Specifications. SAM 2004: 138-153
• 
  Øystein Haugen:
  Comparing UML 2.0 Interactions and MSC-2000. SAM 2004: 65-79
• 
  Loïc Hélouët:
  Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. SAM 2004: 189-207
• 
  Andreas Hoffmann, Bertram Neubauer:
  Deployment and Configuration of Distributed Systems. SAM 2004: 1-16
• 
  Paresh Jain, Amresh Paresh Jain:
  Validating Wireless Protocol Conformance Test Cases. SAM 2004: 290-300
• 
  Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao-Jun Zhang, Tong Zheng:
  Early Validation of Deployment and Scheduling Constraints for MSC Specifications. SAM 2004: 106-121
• 
  Bill Mitchell, Robert Thomson, Paul Bristow:
  Scenario Synthesis from Imprecise Requirements. SAM 2004: 122-137
• 
  Arjan J. Mooij, Nicolae Goga:
  Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. SAM 2004: 257-270
• 
  Rick Reed:
  Data Encoding for SDL in ITU-T Rec. Z.104. SAM 2004: 80-95
• 
  Christian Rinderknecht:
  Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. SAM 2004: 154-170
• 
  Edel Sherratt:
  SDL in a Changing World. SAM 2004: 96-105
• 
  Frank Weil, Thomas Weigert:
  Guidelines for Using SDL in Product Development. SAM 2004: 271-289