Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
421	Groklaw: Why Software is Abstract, by PolR http://www.groklaw.net/article.php?story=Why Software is Abstract, by PolR Thursday, October @ 03:40 AM EDT Add to Reading List Source URL: ladoc.ffii.fr Language: English - Date: 2011-06-10 02:17:24 Law Theoretical computer science Computing Academia Patent law Formal sciences Algorithm Mathematical logic Patentable subject matter Software patent Abstraction Software
422	Some criteria for acceptable abstraction Øystein Linnebo University of Bristol Draft of November 8, 2009 An abstraction principle is a principle of the form Add to Reading List Source URL: oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:00
423	Multi-Module Fully Abstract Compilation (Extended Abstract) Marco Patrignani, Dominique Devriese, Frank Piessens iMinds-DistriNet, KU Leuven, Belgium High-level languages like Java or ML support abstraction and data enca Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16
424	Using Abstraction and Nondeterminism to Plan Reaction Loops David J. Musliner Institute for Advanced Computer Studies The University of Maryland College Park, Maryland 20742 Add to Reading List Source URL: musliner.com Language: English - Date: 2008-12-19 05:47:53
425	Deep Specifications and Certified Abstraction Layers Ronghui Gu J´er´emie Koenig Tahina Ramananandro Zhong Shao Xiongnan (Newman) Wu Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2014-10-29 12:13:04
426	Structural Counter Abstraction Kshitij Bansal1 , Eric Koskinen1? , Thomas Wies1 , and Damien Zufferey2?? 1 New York University 2 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2013-03-29 07:06:57
427	BRICS Basic Research in Computer Science BRICS NS-00-1 B. G¨artner: Randomization and Abstraction — Useful Tools for Optimization Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2003-04-07 11:48:59
428	ATLAS: Automatic Term-Level Abstraction of RTL Designs Bryan A. Brady UC Berkeley Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:10
429	SENSORSInformation Abstraction for Heterogeneous Real World Internet Data Add to Reading List Source URL: personal.ee.surrey.ac.uk Language: English - Date: 2013-07-17 05:29:39 Computing Data management Programming paradigms Wireless networking Wireless sensor network Applied mathematics Abstraction Data Artificial neural network Internet protocol suite Cognition
430	Package Locks: Marking Abstraction Boundaries Nikodemus Siivola∗ Department of Computer Science Helsinki University of Technology PL 5400, 02015 TKK, Finland Add to Reading List Source URL: www.european-lisp-workshop.org Language: English - Date: 2009-10-20 14:14:34

UPDATE