David J. Scott

Orcid: 0000-0002-6726-2078

According to our database1, David J. Scott authored at least 25 papers between 2002 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Programming Unikernels in the Large via Functor Driven Development.
CoRR, 2019

2017
Reconstructing promoter activity from Lux bioluminescent reporters.
PLoS Comput. Biol., 2017

2015
Jitsu: Just-In-Time Summoning of Unikernels.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014
Unikernels: the rise of the virtual library operating system.
Commun. ACM, 2014

2013
Unikernels: library operating systems for the cloud.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2011
Moments of the generalized hyperbolic distribution.
Comput. Stat., 2011

2010
Using functional programming within an industrial product group: perspectives and perceptions.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009
Traditional Chinese acupuncture and placebo (sham) acupuncture are differentiated by their effects on μ-opioid receptors (MORs).
NeuroImage, 2009

2008
Data Privacy.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007
Interacting with mobile services: an evaluation of camera-phones and visual tags.
Pers. Ubiquitous Comput., 2007

Melange: creating a "functional" internet.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2005
Using visual tags to bypass Bluetooth device discovery.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2005

Using smart phones to access site-specific services.
IEEE Pervasive Comput., 2005

Audio networking: the forgotten wireless technology.
IEEE Pervasive Comput., 2005

Using the hyperbolic distribution to estimate the precision of size distribution percentiles of fluvial gravels.
Comput. Geosci., 2005

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.
Proceedings of the Model Checking Software, 2005

2004
Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming.
Proceedings of the 3rd Workshop on Network and System Support for Games, 2004

The Carrot Approach: Encouraging Use of Location Systems.
Proceedings of the UbiComp 2004: Ubiquitous Computing: 6th International Conference, 2004

2003
Specifying and Enforcing Application-Level Web Security Policies.
IEEE Trans. Knowl. Data Eng., 2003

Spatial Policies for Sentient Mobile Applications.
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

Context-Aware Computing with Sound.
Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

The Case for Abstracting Security Policies.
Proceedings of the International Conference on Security and Management, 2003

2002
Developing Secure Web Applications.
IEEE Internet Comput., 2002

Abstracting application-level web security.
Proceedings of the Eleventh International World Wide Web Conference, 2002


  Loading...