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

• 2012
• 
  Alessandro Russo, Massimo Mecella, Massimiliano de Leoni:
  ROME4EU - A service-oriented process-aware information system for mobile devices. Softw. Pract. Exp. 42(10): 1275-1314 (2012)
• 
  Alexandra Aguiar, Fabiano Hessel:
  Current techniques and future trends in embedded system's virtualization. Softw. Pract. Exp. 42(7): 917-944 (2012)
• 
  Richard B. Arthur, Dan R. Olsen Jr.:
  Privacy-aware shared UI toolkit for nomadic environments. Softw. Pract. Exp. 42(5): 601-628 (2012)
• 
  Engineer Bainomugisha, Jorge Vallejos, Elisa Gonzalez Boix, Pascal Costanza, Theo D'Hondt, Wolfgang De Meuter:
  Bringing Scheme programming to the iPhone - Experience. Softw. Pract. Exp. 42(3): 331-356 (2012)
• 
  Alexandre Bergel, Felipe Bañados, Romain Robbes, Walter Binder:
  Execution profiling blueprints. Softw. Pract. Exp. 42(9): 1165-1192 (2012)
• 
  Georg Birkenheuer, André Brinkmann, Jürgen Kaiser, Axel Keller, Matthias Keller, Christoph Kleineweber, Christoph Konersmann, Oliver Niehörster, Thorsten Schäfer, Jens Simon, Maximilian Wilhelm:
  Virtualized HPC: a contradiction in terms?. Softw. Pract. Exp. 42(4): 485-500 (2012)
• 
  Youcef Bouchebaba, Ali Erdem Özcan, Pierre G. Paulin, Gabriela Nicolescu:
  MpAssign: a framework for solving the many-core platform mapping problem. Softw. Pract. Exp. 42(7): 891-915 (2012)
• 
  Paola Caymes-Scutari, Anna Morajko, Tomàs Margalef, Emilio Luque:
  A methodology for transparent knowledge specification in a dynamic tuning environment. Softw. Pract. Exp. 42(3): 281-302 (2012)
• 
  Eric Ying Kwong Chan, W. K. Chan, Pak-Lok Poon, Yuen-Tak Yu:
  An empirical evaluation of several test-a-few strategies for testing particular conditions. Softw. Pract. Exp. 42(8): 967-994 (2012)
• 
  Paolo Ciancarini, Angelo Di Iorio, Luca Furini, Fabio Vitali:
  High-quality pagination for publishing. Softw. Pract. Exp. 42(6): 733-751 (2012)
• 
  Thomas Claveirole, Marcelo Dias de Amorim:
  Manipulating Wi-Fi packet traces with WiPal: design and experience. Softw. Pract. Exp. 42(5): 585-599 (2012)
• 
  J. Shane Culpepper, Matthias Petri, Simon J. Puglisi:
  Revisiting bounded context block-sorting transformations. Softw. Pract. Exp. 42(8): 1037-1054 (2012)
• 
  Shih-Yao Dai, Fyodor Yarochkin, Ming-Wei Wu, Yennun Huang, Sy-Yen Kuo:
  Holography: a behavior-based profiler for malware analysis. Softw. Pract. Exp. 42(9): 1107-1136 (2012)
• 
  Amir Vahid Dastjerdi, Sayed Gholam Hassan Tabatabaei, Rajkumar Buyya:
  A dependency-aware ontology-based approach for deploying service level agreement monitoring services in Cloud. Softw. Pract. Exp. 42(4): 501-518 (2012)
• 
  Julien Delange, Laurent Pautet, Fabrice Kordon:
  Design, implementation and verification of MILS systems. Softw. Pract. Exp. 42(7): 799-816 (2012)
• 
  Doron Drusinsky, Man-tak Shing:
  Validating quality attribute requirements via execution-based model checking. Softw. Pract. Exp. 42(7): 853-875 (2012)
• 
  Ghizlane El-Boussaidi, Hafedh Mili:
  Understanding design patterns - what is the problem? Softw. Pract. Exp. 42(12): 1495-1529 (2012)
• 
  Florentino Fdez-Riverola, Daniel Glez-Peña, Hugo López-Fernández, Miguel Reboiro-Jato, José Ramón Méndez:
  A JAVA application framework for scientific software development. Softw. Pract. Exp. 42(8): 1015-1036 (2012)
• 
  Peter M. Fenwick:
  PPM compression without escapes. Softw. Pract. Exp. 42(2): 255-260 (2012)
• 
  Luca Ferrari, Haibin Zhu:
  Autonomous role discovery for collaborating agents. Softw. Pract. Exp. 42(6): 707-731 (2012)
• 
  Javier Ferrer, Francisco Chicano, Enrique Alba:
  Evolutionary algorithms for the multi-objective test data generation problem. Softw. Pract. Exp. 42(11): 1331-1362 (2012)
• 
  Andrew Forward, Omar Bahy Badreddin, Timothy C. Lethbridge, Julian Solano:
  Model-driven rapid prototyping with Umple. Softw. Pract. Exp. 42(7): 781-797 (2012)
• 
  Bugra Gedik, Henrique Andrade:
  A model-based framework for building extensible, high performance stream processing middleware and programming language for IBM InfoSphere Streams. Softw. Pract. Exp. 42(11): 1363-1391 (2012)
• 
  Alina Gîrbea, Septimiu Nechifor, Francisc Sisak, Liviu Perniu:
  Efficient address space generation for an OPC UA server. Softw. Pract. Exp. 42(5): 543-557 (2012)
• 
  Robert Glück:
  A self-applicable online partial evaluator for recursive flowchart languages. Softw. Pract. Exp. 42(6): 649-673 (2012)
• 
  Pieter H. Hartel, Henk L. Muller:
  Simple algebraic data types for C. Softw. Pract. Exp. 42(2): 191-210 (2012)
• 
  Raoufehsadat Hashemian, Diwakar Krishnamurthy, Martin F. Arlitt:
  Web workload generation challenges - an empirical investigation. Softw. Pract. Exp. 42(5): 629-647 (2012)
• 
  Martin Hillenbrand, Matthias Heinz, Johannes Matheis, Klaus D. Müller-Glaser:
  Development of electric/electronic architectures for safety-related vehicle functions. Softw. Pract. Exp. 42(7): 817-851 (2012)
• 
  Kirak Hong, Jiin Park, Sungho Kim, Taekhoon Kim, Hwangho Kim, Bernd Burgstaller, Bernhard Scholz:
  TinyVM: an energy-efficient execution infrastructure for sensor networks. Softw. Pract. Exp. 42(10): 1193-1209 (2012)
• 
  R. Nigel Horspool:
  Editorial. Softw. Pract. Exp. 42(1): 1 (2012)

skipping 41 more matches