Approach - PDFSEARCH.IO - Document Search Engine

Approach
Results: 36997

#	Item
11	Session A4: Browsers CCS’17, October 30-November 3, 2017, Dallas, TX, USA Most Websites Don’t Need to Vibrate: A Cost–Benefit Approach to Improving Browser Security Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:58 Software Computing Web browsers JavaScript Google Chrome Firefox Content Security Policy Browser extension Document Object Model Browser security Chromium Adobe Flash
12	Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-21 06:03:55 Temporal logic Theoretical computer science Probability Markov decision process Markov chain Probabilistic CTL Linear temporal logic Computation tree logic PL
13	Misguided Snipes at The Big Bang 11 The Big Bang Misguided Snipes at The Big Bang The most puzzling aspect of ICR’s approach has been the attack on the big bang origin of the universe. Secular scientists of the explic Add to Reading List Source URL: www.jesuswordsonly.com Language: English - Date: 2009-05-12 21:09:06 Physical cosmology Astronomy Physics Big Bang Fred Hoyle Steady state model Cosmology Age of the universe Universe Expansion of the universe Creationism Big Bounce
14	LNCSA Lightweight and Portable Approach to Making Concurrent Failures Reproducible Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Concurrency control Computing Computer programming Edsger W. Dijkstra System software Concurrency Transaction processing Concurrent computing Monitor Lock Thread Synchronization
15	A Sustainable Approach to CPaaS and Communications API Integration Strategic Considerations for Leveraging Embedded Communications Services Add to Reading List Source URL: www.vonage.com Language: English - Date: 2018-01-12 11:21:40 Cloud computing Computing Videotelephony Information and communications technology As a service Teleconferencing Platform as a service Unified communications Customer-relationship management Instant messaging Business process management Plivo
16	Age of Acquisition in Facial Identification: A Connectionist Approach Brenden M. Lake () Torrey Pines High School, 710 Encinitas Blvd. Encinitas, CAUSA Garrison W. Cottrell () Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2010-05-26 18:03:37 Computational neuroscience Cognition Cognitive science AOA Applied mathematics Artificial neural network Connectionism ACT-R
17	A Declarative and Expressive Approach to Control Forwarding in Carrier-Grade Networks Stefano Vissicchio UCLouvain Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:46 Computing Network architecture Information and communications technology Emerging technologies OpenFlow Computer networking Scalability Control theory Frenetic Software-defined networking Network function virtualization
18	Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial College London Ph.D. Thesis, 2005. Thesis supervisor: Philippa Gardner Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Computing Web standards Semantic Web Technical communication T0 Data integration -calculus Web Ontology Language Database
19	Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-09-19 06:11:44 Theoretical computer science Mathematical logic Mathematics Formal methods Logic in computer science Automated theorem proving Constraint programming Electronic design automation Conflict-driven clause learning Satisfiability modulo theories Boolean satisfiability problem Unit propagation
20	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-11-27 10:41:35 Knowledge representation Computing Data Information science Semantic Web Data management Technical communication Simple Knowledge Organization System Open data Geographic information system Data transformation Resource Description Framework

UPDATE