Repository Home
Grey Literature
Technical Reports
Department of Computer Science Technical Reports
xmlui.ArtifactBrowser.ConfigurableBrowse.trail.metadata.division

xmlui.ArtifactBrowser.ConfigurableBrowse.title.metadata.division

Now showing items 1-20 of 222

A branching-time theory for probabilistic model-checking

Iyer, S. Purushothaman; Cleaveland, W. Rance, II; Narasimha, Muralidhar (North Carolina State University. Dept. of Computer Science, 2000)
A conceptual analysis of commitments in multiagent systems

Singh, Munindar P. (North Carolina State University. Dept. of Computer Science, 1996)
A distributed requirements management framework for compliance

Breaux, Travis D.; Anton, Ana I.; Spafford, Eugene H. (North Carolina State University. Dept. of Computer Science, 2006)
A flying click gesture for unary selection and activation

Dulberg, Martin S.; St. Amant, Robert (North Carolina State University. Dept. of Computer Science, 1998)
A framework for identifying compromised nodes in sensor networks

Zhang, Qing; Yu, Ting (North Carolina State University. Dept. of Computer Science, 2005)
A framework for privacy-enhanced access control analysis in requirements engineering

He, Qingfeng; Anton, Ana I. (North Carolina State University. Dept. of Computer Science, 2004)
A multivariate two-sample test using the Voronoi diagram

Dwyer, Rex A.; Squire, Matthew B. (North Carolina State University. Dept. of Computer Science, 1993)
A networking perspective for intelligent utilization of directional antennas in ad hoc wireless networks: The tandem approach

Dutta, Rudra; Sichitiu, M. (North Carolina State University. Dept. of Computer Science, 2002)
A practical implementation of maximum likelihood voting

Kim, Kalhee; Vouk, Mladen A.; McAllister, David F. (North Carolina State University. Dept. of Computer Science, 1997)
A privacy protection comparison of popular web browsers

He, Qingfeng; Anton, Ana I. (North Carolina State University. Dept. of Computer Science, 2002)
A privacy-aware database interface

Haygood, Hal; He, Qingfeng; Smith, Shane; Snare, Jodi (North Carolina State University. Dept. of Computer Science, 2002)
A process algebra with distributed priorities

Cleaveland, W. Rance, II; Luettgen, Gerald; Natarajan, V. (North Carolina State University. Dept. of Computer Science, 1996)
A scenario management case study: Measuring scenario similarity in the EMS

Bode, Laura J. (North Carolina State University. Dept. of Computer Science, 2002)
A sequence of bounds for the problem of minimizing electronic routing in wavelength routed optical rings

Dutta, Rudra; Rouskas, George N. (North Carolina State University. Dept. of Computer Science, 2000)
A social semantics for agent communication languages

Singh, Munindar P. (North Carolina State University. Dept. of Computer Science, 1999)
A study of a formal model for view selection for aggregate queries

Talebi, Zohreh Asgharzadeh; Chirkova, Rada Y.; Fathi, Yahya (North Carolina State University. Dept. of Computer Science, 2006)
A study of static analysis for fault detection in software

Zheng, Jiang; Williams, Laurie Ann; Nagappan, Nachiappan; Snipes, Will; Hudepohl, John; Vouk, Mladen A. (North Carolina State University. Dept. of Computer Science, 2005)
A survery of preference elicitation

Dennis, Brent M.; Healey, Christopher G. (North Carolina State University. Dept. of Computer Science, 2005)
A survey of display device properties and visual acuity for visualization

Sawant, Amit P.; Healey, Christopher G. (North Carolina State University. Dept. of Computer Science, 2005)
A survey of methods for computing large sparse matrix exponentials arising in Markov modelling

Sidje, Roger B.; Stewart, William J. (North Carolina State University. Dept. of Computer Science, 1996)

Now showing items 1-20 of 222