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

• 2003
• 
  Raad S. Al-Qassas, Abdel Elah Al-Ayyoub, Mohamed Ould-Khaoua:
  Bandwidth-efficient routing protocol for mobile ad hoc networks. IEE Proc. Softw. 150(4): 230-234 (2003)
• 
  Giuseppe Attardi, Antonio Cisternino:
  Multistage programming support in CLI. IEE Proc. Softw. 150(5): 275-282 (2003)
• 
  Fred R. M. Barnes, Peter H. Welch:
  Prioritised dynamic communicating and mobile processes. IEE Proc. Softw. 150(2): 121-136 (2003)
• 
  Oddur Benediktsson, Darren Dalcher:
  Effort estimation in incremental software development. IEE Proc. Softw. 150(6): 351-358 (2003)
• 
  Tomas Berling, Per Runeson:
  Evaluation of a perspective based review method applied in an industrial setting. IEE Proc. Softw. 150(3): 177-184 (2003)
• 
  Robert F. Berry:
  Trends, challenges and opportunities for performance engineering with modern business software. IEE Proc. Softw. 150(4): 223-229 (2003)
• 
  Douglas J. Brear, Thibaut Weise, Tim Wiffen, Kwok Cheung Yeung, Sarah A. M. Bennett, Paul H. J. Kelly:
  Search strategies for Java bottleneck location by dynamic instrumentation. IEE Proc. Softw. 150(4): 235-242 (2003)
• 
  Ana Cavalcanti, Jim Woodcock:
  Predicate transformers in the semantics of Circus. IEE Proc. Softw. 150(2): 85-94 (2003)
• 
  John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd:
  Formulating software engineering as a search problem. IEE Proc. Softw. 150(3): 161-175 (2003)
• 
  Kurt Debattista, Kevin Vella, J. Cordina:
  Wait-free cache-affinity thread scheduling. IEE Proc. Softw. 150(2): 137-146 (2003)
• 
  I. East:
  The Honeysuckle programming language: an overview. IEE Proc. Softw. 150(2): 95-107 (2003)
• 
  R. L. Engelbrecht, Derrick G. Kourie:
  Translating smalltalk blocks into Java. IEE Proc. Softw. 150(3): 203-211 (2003)
• 
  Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
  Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proc. Softw. 150(1): 25-38 (2003)
• 
  Raphael Güntensperger, Jürg Gutknecht:
  Activities and channels: C# language extensions for concurrency control and remote object communication. IEE Proc. Softw. 150(5): 315-322 (2003)
• 
  Gerald H. Hilderink:
  Graphical modelling language for specifying concurrency based on CSP. IEE Proc. Softw. 150(2): 108-120 (2003)
• 
  Stephen A. Jarvis:
  Performance engineering. IEE Proc. Softw. 150(4): 213 (2003)
• 
  Darren J. Kerbyson, Adolfy Hoisie, Harvey J. Wasserman:
  Modelling the performance of large-scale systems. IEE Proc. Softw. 150(4): 214-222 (2003)
• 
  Petri Kettunen:
  Managing embedded software project team knowledge. IEE Proc. Softw. 150(6): 359 (2003)
• 
  Hélène N. Lim Choi Keung, Justin R. D. Dyson, Stephen A. Jarvis, Graham R. Nudd:
  Performance evaluation of a grid resource monitoring and discovery service. IEE Proc. Softw. 150(4): 243-251 (2003)
• 
  Demetres D. Kouvatsos, Is-Haka Mkwawa:
  Multicast communication in grid computing networks with background traffic. IEE Proc. Softw. 150(4): 257-264 (2003)
• 
  Adrian E. Lawrence:
  Extending CSP: denotational semantics. IEE Proc. Softw. 150(2): 51-60 (2003)
• 
  Adrian E. Lawrence:
  CSP extended: imperative state and true concurrency. IEE Proc. Softw. 150(2): 61-69 (2003)
• 
  Timothy Lethbridge, Nicolas Anquetil:
  Comparative study of clustering algorithms and abstract representations for software remodularization. IEE Proc. Softw. 150(3): 185-201 (2003)
• 
  Simon Miles, Juri Papay, Vijay Dialani, Michael Luck, Keith Decker, Terry R. Payne, Luc Moreau:
  Personalised Grid service discovery. IEE Proc. Softw. 150(4): 252-256 (2003)
• 
  Nicolas Navet, Jörn Migge:
  Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems. IEE Proc. Softw. 150(1): 13-24 (2003)
• 
  Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer:
  Concurrent object-oriented programming on .NET. IEE Proc. Softw. 150(5): 308-314 (2003)
• 
  Kei Simon Pedersen, Brian Vinter:
  Java PastSet: a structured distributed shared memory system. IEE Proc. Softw. 150(2): 147-153 (2003)
• 
  Frank Piessens, Bart Jacobs, Wouter Joosen:
  Software security: experiments on the .NET common language run-time and the shared source common language infrastructure. IEE Proc. Softw. 150(5): 303-307 (2003)
• 
  Keith Pugh:
  Configuration discovery and mapping of a home network. IEE Proc. Softw. 150(2): 155-160 (2003)
• 
  Erik Rissanen:
  Server based application level authorisation for Rotor. IEE Proc. Softw. 150(5): 291-295 (2003)

skipping 9 more matches