Computer Science

VBR video traffic models

Hoboken, NJ: John Wiley & Sons, Inc.

The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems

2014 IEEE 7th International Workshop on Requirements Engineering and Law, RELAW 2014 - Proceedings, 22–24.

Identifying malicious metering data in advanced metering infrastructure

2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE), 490–495.

A first course in probability

[Place of publication not identified]: [CreateSpace Independent Publishing Platform].

Solving the maximum duo-preservation string mapping problem with linear programming

THEORETICAL COMPUTER SCIENCE, 530, 1–11.

Bliss: Specifying Declarative Service Protocols

2014 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2014), pp. 235–242.

A real-time distributed storage system for multi-resolution virtual synchrophasor

2014 ieee pes general meeting - conference & exposition.

A model based fault locating method for distribution systems

2014 ieee pes general meeting - conference & exposition.

Toward Cyber-Enhanced Working Dogs for Search and Rescue

IEEE INTELLIGENT SYSTEMS, 29(6), 32–39.

Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations

ACM SIGPLAN Notices, 49(10), 763–776.

Call Sequence Prediction through Probabilistic Calling Automata

Zhao, Z., Wu, B., Zhou, M., Ding, Y., Sun, J., Shen, X., & Wu, Y. (2014, October). ACM SIGPLAN NOTICES, Vol. 49, pp. 745–762.

Generalizability of goal recognition models in narrative-centered learning environments

User modeling, adaptation, and personalization, umap 2014, 8538, 278–289.

Cognitive models of discourse comprehension for narrative generation

Literary and Linguistic Computing, 29(4), 561–582.

Bayesian neural networks for detecting epistasis in genetic association studies

BMC Bioinformatics, 15(1), 368.

A GENI Meso-Scale Experiment of a Verification Service

2014 THIRD GENI RESEARCH AND EDUCATIONAL EXPERIMENT WORKSHOP (GREE), pp. 65–68.

Nesting Strategies for Enabling Nimble MapReduce Dataflows for Large RDF Data

INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 10(1), 1–26.

How the Sando search tool recommends queries

2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), 425–428.

Evaluating the Impact of SDC on the GMRES Iterative Solver

2014 IEEE 28TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM.

Estimating trust from agents' interactions via commitments

21st european conference on artificial intelligence (ecai 2014), 263, 1043–1044.

When is tutorial dialogue more effective than step-based tutoring?

Intelligent tutoring systems, its 2014, 8474, 210–219.