Recoil - PDFSEARCH.IO - Document Search Engine

Recoil
Results: 237

#	Item
101	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
102	Signposts: End-to-End Networking in a World of Middleboxes Andrius Aucinas, Amir Chaudhry, Jon Crowcroft, Sebastian Probst Eide, Steve Hand, Anil Madhavapeddy, Andrew W. Moore, Charalampos Rotsos, Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Computing Internet protocols Computer network security Internet standards DNSSEC Domain Name System Security Extensions Network address translation Name server Middlebox Internet Domain name system Network architecture
103	105 A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping Anil Madhavapeddy and Alastair Tse University of Cambridge Computer Laboratory, Cambridge, CB3 0FD, UK Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Wireless Received signal strength indication Headset Bluetooth low energy Bluetooth profile Bluetooth Technology Telecommunications engineering
104	Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions David Scott Richard Sharp Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Functional languages OCaml Caml Xen ML Foreach loop Citrix Systems Monad Structural type system Computing Software engineering Computer programming
105	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. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory
106	Privacy Butler: A Personal Privacy Rights Manager for Online Presence Ryan Wishart, Domenico Corapi, Anil Madhavapeddy, Morris Sloman Department of Computing, Imperial College London, London, U.K. Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Internet Web 2.0 Photo sharing Social media Image hosting Flickr Internet privacy Privacy Social networking service World Wide Web Computing Social information processing
107	Melange: Creating a “Functional” Internet Anil Madhavapeddy†‡ , Alex Ho†♥ , Tim Deegan†‡ , David Scott‡ and Ripduman Sohan† † Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Internet standards Internet protocols Internet Protocol IPv4 Transmission Control Protocol Ping Secure Shell Ip LwIP Computing Network architecture Internet
108	get on target[removed]Product Catalog To become a better shooter, you need the gear that takes you to the next level. We are proud to offer shooting accessories that enhance your ability to get… Add to Reading List Source URL: outdoorwriters.atk.com Language: English - Date: 2011-11-16 17:31:06 Recoil Shooting Rifles Structure Ammunition Shooting sports Ballistics Shooting sticks Accurizing Telescopic sight
109	Ubiquitious Computing needs to catch up with Ubiquitous Media Anil Madhavapeddy1 , Nick Ludlam2 University of Cambridge Computer Laboratory1 , Interceptor Communications Ltd.2 {[removed]1 , [removed] Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Terminology Multimedia Ubiquitous computing Interactive television Internet broadcasting Internet television Ambient intelligence TiVo Digital video recorder Digital television Television Electronics
110	MOBILE AND UBIQUITOUS SYSTEMS www.computer.org/pervasive Using Smart Phones to Access Site-Specific Services Eleanor Toye, Richard Sharp, Anil Madhavapeddy, and David Scott Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Mobile technology Smartphones Mobile phones Bluetooth Mobile phone Symbian Near field communication Microsoft Kin Proximity marketing Technology Wireless Mobile telecommunications

UPDATE