Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
731	™ SWIFT -LINK Packet-to-RF abstraction for SWIFT software-defined radios Transformative Technologies Add to Reading List Source URL: www.tethers.com Language: English - Date: 2015-03-25 13:05:52 Committees Consultative Committee for Space Data Systems SpaceWire Software-defined radio Amplitude and phase-shift keying Society for Worldwide Interbank Financial Telecommunication Modulation PHY Link layer OSI protocols Computing Network architecture
732	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:59 Formal methods Logic in computer science Model checking Satisfiability Modulo Theories Static program analysis Abstract interpretation Abstraction C Software bug Theoretical computer science Software engineering Computing
733	Automating Repetitive Tasks for the Masses Sumit Gulwani Microsoft Research Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-11-03 14:12:29 Software Domain-specific language End-user development Programming language Programming by example Software framework Program synthesis Abstraction User interface Software engineering Computing Programming paradigms
734	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
735	Towards formal semantics for reorganization Virginia Dignum Frank Dignum Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-12-21 05:31:18 Number theory Partition Abstraction Modal logic Organizational behavior Agent-based model Organization Mathematics Logic Combinatorics
736	Microsoft Word - ds08-matthews.doc Add to Reading List Source URL: www.taramatthews.org Language: English - Date: 2014-03-10 16:20:33 Abstraction Mind Design Computer User interface Creativity Technology Human–computer interaction Technical communication Usability
737	A model to represent human activities in farming systems based on reactive situated agents Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-16 01:43:16 Systems theory Science Agent-based model Multi-agent system Abstraction Systems science Actuators Self-organization Stigmergy
738	Computer Science Minor Requirements Required Completed CSC 127A Intro to Computer Science I Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2015-04-13 18:24:15 Philosophy of mathematics Computer science Science Academia Knowledge Abstraction Axiology Logic
739	DATASHEET Streamlining Access Governance through Automated User Management and Access Control Traditional identity and access management (IAM) frameworks are expensive to build and timeconsuming to implement and maintai Add to Reading List Source URL: ppn.com.hk Language: English - Date: 2012-09-29 00:21:35 Identity management Provisioning Business Identity intelligence Business process management Abstraction Identity Information technology management Management
740	Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-08 08:41:11 Philosophy of mind Programming paradigms Theoretical computer science Model checking Abstraction Logic in computer science Concept Heuristic function Combinatory logic Thought Cognition Mind

UPDATE