Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
831	VODCA 2004 Preliminary Version Soft Constraints for Security Giampaolo Bella 1 Dipartimento di Matematica e Informatica, Universit` a di Catania, Italy Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-12-20 08:53:54 Semiring Artificial intelligence Constraint programming Computing Constraint satisfaction
832	An Approach to Security Policy Configuration Using Semantic Threat Graphs Simon N. Foley and William M. Fitzgerald Cork Constraint Computation Centre, Computer Science Department, University College Cork, Ireland s.foley Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2009-07-27 08:02:51 Security Data security Risk analysis Vulnerability Threat Asset Countermeasure Firewall Attack Computer network security Cyberwarfare Computer security
833	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-09-22 01:23:29 Constraint programming Formal methods Programming paradigms Predicate logic Satisfiability Modulo Theories Program synthesis Algorithm First-order logic Function Mathematics Theoretical computer science Applied mathematics
834	Optimising Quantified Expressions in Constraint Models Ian Gent, Ian Miguel, and Andrea Rendl University of St Andrews School of Computer Science, North Haugh, St Andrews, Scotland, UK ipg,ianm, Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:32 Sudoku algorithms Constraint programming Declarative programming Exact cover
835	An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2013-08-28 03:01:20 Constraint satisfaction problem Constraint programming Local consistency Computing
836	The Generic Eclipse Modeling System Jules White, Douglas C. Schmidt, Sean Mulligan Vanderbilt University, EECS Nashville, TN, USA {jules,schmidt}@dre.vanderbilt.edu Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2007-06-19 10:22:00 Eclipse Generic Eclipse Modeling System Graphical Modeling Framework Eclipse Modeling Framework Domain-specific modeling Modeling language Model-driven engineering Domain-specific language Constraint programming Computing Software engineering Software
837	Human Computation Tasks with Global Constraints Haoqi Zhang1 , Edith Law2 , Robert C. Miller3 , Krzysztof Z. Gajos1 , David C. Parkes1 , Eric Horvitz4 1 Harvard SEAS Cambridge, MA {hq, kgajos, parkes} @eecs.harvard.edu Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-01-21 17:55:12 Constraint Mathematical optimization .mobi Planning Systems engineering process Economic model Systems science Ethology Systems engineering Project management Mind
838	A Lexicographic optimization approach for berth schedule recovery in container terminals Qingcheng Zeng Dalian Maritime University Add to Reading List Source URL: www.icms.polyu.edu.hk Language: English - Date: 2012-05-31 23:40:01 Constraint Scheduling Applied mathematics Mathematics Business Berth allocation problem Mathematical optimization Operations research Optimization problem
839	A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Constraint programming Logic in computer science Propositional calculus Unsatisfiable core Electronic design automation Boolean satisfiability problem Symmetry Satisfiability Theoretical computer science Mathematics Applied mathematics
840	The LIR Domain Decomposition System applied to Cartesian Grids July 12, 2012 We introduce a novel multi-dimensional domain decomposition method. A new type of tree combines the advantages of the octree and the Add to Reading List Source URL: www-hagen.cs.uni-kl.de Language: English - Date: 2014-05-22 09:33:44 Decomposition method CW complex Numerical linear algebra Algebra Mathematics Constraint programming

UPDATE