NICTA - PDFSEARCH.IO - Document Search Engine

NICTA
Results: 817

#	Item
331	Improving Customer Profitability Is this your business? Are these your key concerns? • Your customer base is large and varied Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-10 00:33:00 Technology NICTA Customer profitability Research and development
332	imagination[removed]Annual Research Report from imagination to impact Focusing on imagination Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:40:49 Open Kernel Labs L4 microkernel family Gi-Fi LIXI Framework Programmes for Research and Technological Development Capability-based security Ambient intelligence Electronics NICTA Computing Technology
333	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer science Proof theory Models of computation Computability theory Natural deduction Simply typed lambda calculus Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematical logic Lambda calculus
334	PROUDLY SPONSORED BY NATIONAL SPONSORS AusIndustry Ernst & Young HTC / 3 NICTA Add to Reading List Source URL: thewarrencentre.org.au Language: English - Date: 2012-05-04 02:47:30 AusIndustry Business Government of Australia Google Lars Rasmussen NICTA Department of Innovation Industry Science and Research Innovation Software Computing World Wide Web
335	Introduction COMP9242 2008/S2 Week 1 Part 2 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2009-10-01 17:42:24 L4 microkernel family Gernot Heiser Open Kernel Labs Microkernel NICTA Formal verification Kernel GNU General Public License University of New South Wales System software Software Computer architecture
336	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein type classes & locales Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Semigroup Monoid Special classes of semigroups Bicyclic semigroup Semigroup theory Algebra Algebraic structures
337	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-07-15 03:25:29 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
338	Last time ... Isar! ➜ syntax: proof, qed, assume, from, show, have, next ➜ modes: prove, state, chain COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Law Intellectual property law Science Functional languages Creative Commons Free music Lambda calculus Isabelle Copyright Open content Copyleft Computer law
339	Please join us for this special NICTA e-Government event Modelling Cloud Cost and Performance: A comparison of Cloud cost and performance across Amazon EC2, Google App Engine, and Microsoft Azure platforms Add to Reading List Source URL: www.egovernmentcluster.com.au Language: English - Date: 2014-12-04 23:27:33 Amazon Elastic Compute Cloud Infrastructure as a Service Azure Services Platform Cloud testing NICTA Google App Engine Cloud computing Centralized computing Cloud infrastructure
340	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Intellectual property law Computing Procedural programming languages Data types Creative Commons Attribution NICTA List Open content Law Copyleft

UPDATE