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

• 2019
• 
  Dominik Moritz, Chenglong Wang, Greg L. Nelson, Halden Lin, Adam M. Smith, Bill Howe, Jeffrey Heer:
  Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco. IEEE Trans. Vis. Comput. Graph. 25(1): 438-448 (2019)
• 
  Eyasu Getahun Chekole, Huaqun Guo:
  ICS-SEA: Formally Modeling the Conflicting Design Constraints in ICS. ICSS 2019: 60-69
• 2016
• 
  Naoya Nitta:
  A formal approach for guiding architecture design with data constraints. ICIS 2016: 1-6
• 2015
• 
  Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette:
  Digital system robustness via design constraints: The lesson of formal methods. SysCon 2015: 109-114
• 2013
• 
  Yu Zhou, Yann Ponty, Stéphane Vialette, Jérôme Waldispühl, Yi Zhang, Alain Denise:
  Flexible RNA design under structure and sequence constraints using formal languages. BCB 2013: 229
• 2010
• 
  Antonio Coronato, Giuseppe De Pietro:
  Formal design and implementation of constraints in software components. Adv. Eng. Softw. 41(5): 737-747 (2010)
• 2006
• 
  Philippe Coussy, Emmanuel Casseau, Pierre Bomel, Adel Baganne, Eric Martin:
  A formal method for hardware IP design and integration under I/O and timing constraints. ACM Trans. Embed. Comput. Syst. 5(1): 29-53 (2006)
• 2004
• 
  Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
  Formal Verification of Modules under Real Time Environment Constraints. VLSI Design 2004: 103-108
• 2003
• 
  Alan K. Mackworth, Ying Zhang:
  A Formal Approach to Agent Design: An Overview of Constraint-Based Agents. Constraints An Int. J. 8(3): 229-242 (2003)
• 1996
• 
  Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach:
  Formal Design Constraints. OOPSLA 1996: 370-383
• 1992
• 
  Reinhold Bareiß:
  Propagating Quantitative Temporal Constraints into the Software Design: A Formal Approach for Practitioners. NATO ASI RTC 1992: 671-672
• 1990
• 
  Françoise Darses:
  Constraints in design: Towards a methodology of psychological analysis based on AI formalisms. INTERACT 1990: 135-139