@conference {19598,
	title = {Authenticated Hash Tables},
	booktitle = {CCS {\textquoteright}08 Proceedings of the 15th ACM Conference on Computer and Communications Security },
	series = {CCS {\textquoteright}08},
	year = {2008},
	month = {2008///},
	pages = {437 - 448},
	publisher = {ACM},
	organization = {ACM},
	abstract = {Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so that the client can save space or achieve load balancing. Authenticating the hash table functionality, i.e., verifying the correctness of queries answered by the server and ensuring the integrity of the stored data, is crucial because the server, lying outside the administrative control of the client, can be malicious. We design efficient and secure protocols for optimally authenticating membership queries on hash tables: for any fixed constants 0 < ε < 1 and κ > 1/ε, the server can provide a proof of integrity of the answer to a (non-)membership query in constant time, requiring O(nε/logκε--1 n) time to treat updates, yet keeping the communication and verification costs constant. This is the first construction for authenticating a hash table with constant query cost and sublinear update cost. Our solution employs the RSA accumulator in a nested way over the stored data, strictly improving upon previous accumulator-based solutions. Our construction applies to two concrete data authentication models and lends itself to a scheme that achieves different trade-offs---namely, constant update time and O(nε/logκε n) query time for fixed ε > 0 and κ > 0. An experimental evaluation of our solution shows very good scalability.},
	keywords = {Authentication, hash tables, rsa accumulator, verification},
	isbn = {978-1-59593-810-7},
	url = {http://doi.acm.org/10.1145/1455770.1455826},
	author = {Charalampos Papamanthou and Tamassia, Roberto and Triandopoulos, Nikos}
}
@conference {14862,
	title = {A Study of Face Recognition as People Age},
	booktitle = {Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on},
	year = {2007},
	month = {2007/10//},
	pages = {1 - 8},
	abstract = {In this paper we study face recognition across ages within a real passport photo verification task. First, we propose using the gradient orientation pyramid for this task. Discarding the gradient magnitude and utilizing hierarchical techniques, we found that the new descriptor yields a robust and discriminative representation. With the proposed descriptor, we model face verification as a two-class problem and use a support vector machine as a classifier. The approach is applied to two passport data sets containing more than 1,800 image pairs from each person with large age differences. Although simple, our approach outperforms previously tested Bayesian technique and other descriptors, including the intensity difference and gradient with magnitude. In addition, it works as well as two commercial systems. Second, for the first time, we empirically study how age differences affect recognition performance. Our experiments show that, although the aging process adds difficulty to the recognition task, it does not surpass illumination or expression as a confounding factor.},
	keywords = {Bayesian, difference;passport, machine;face, machines;, magnitude;gradient, orientation, photo, pyramid;hierarchical, recognition;face, recognition;support, representation;face, task;support, technique;discriminative, techniques;intensity, vector, verification, verification;gradient},
	doi = {10.1109/ICCV.2007.4409069},
	author = {Ling,Haibin and Soatto,S. and Ramanathan,N. and Jacobs, David W.}
}
@conference {14777,
	title = {Combining self-reported and automatic data to improve programming effort measurement},
	booktitle = {Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering},
	series = {ESEC/FSE-13},
	year = {2005},
	month = {2005///},
	pages = {356 - 365},
	publisher = {ACM},
	organization = {ACM},
	address = {Lisbon, Portugal},
	abstract = {Measuring effort accurately and consistently across subjects in a programming experiment can be a surprisingly difficult task. In particular, measures based on self-reported data may differ significantly from measures based on data which is recorded automatically from a subject{\textquoteright}s computing environment. Since self-reports can be unreliable, and not all activities can be captured automatically, a complete measure of programming effort should incorporate both classes of data. In this paper, we show how self-reported and automatic effort can be combined to perform validation and to measure total programming effort.},
	keywords = {effort, experimentation, human factors, manual approaches, measurement, process metrics, verification},
	isbn = {1-59593-014-0},
	doi = {10.1145/1081706.1081762},
	author = {Hochstein, Lorin and Basili, Victor R. and Zelkowitz, Marvin V and Hollingsworth, Jeffrey K and Carver, Jeff}
}
@article {12822,
	title = {Generic tools for verifying concurrent systems},
	journal = {Science of Computer Programming},
	volume = {42},
	year = {2002},
	month = {2002/01//},
	pages = {39 - 47},
	abstract = {Despite the enormous strides made in automatic verification technology over the past decade and a half, tools such as model checkers remain relatively underused in the development of software. One reason for this is that the bewildering array of specification and verification formalisms complicates the development and adoption by users of relevant tool support. This paper proposes a remedy to this state of affairs in the case of finite-state concurrent systems by describing an approach to developing customizable yet efficient verification tools.},
	keywords = {Model checking, Operational semantics, Process algebra, Specification, verification, Verification tools},
	isbn = {0167-6423},
	doi = {10.1016/S0167-6423(01)00033-8},
	url = {http://www.sciencedirect.com/science/article/pii/S0167642301000338},
	author = {Cleaveland, Rance and Sims,Steven T.}
}
@article {13761,
	title = {Efficient Language Independent Generation from Lexical Conceptual Structure},
	year = {2001},
	month = {2001/09//},
	institution = {Instititue for Advanced Computer Studies, Univ of Maryland, College Park},
	abstract = {This paper describes a system for generating natural-language sentences from an interlingual representation, Lexical Conceptual Structure (LCS). The system has been developed as part of a Chinese-English Machine Translation system; however, it is designed to be used for many other MT language pairs and Natural Language applications. The contributions of this work include: (1) Development of a language-independent generation system that maximizes efficiency through the use of a hybrid rule-based/statistical module; (2) Enhancements to an interlingual representation and associated algorithms for interpretation of multiply ambiguous input sentences; (3) Development of an efficient reusable language-independent linearization module with a grammar description language that can be used with other systems; (4) Improvements to an earlier algorithm for hierarchically mapping thematic roles to surface positions; (5) Development of a diagnostic tool for lexicon coverage and correctness and use of the tool for verification of English, Spanish, and Chinese lexicons. An evaluation of translation quality shows comparable performance with commercial translation system. The generation system can also be straightforwardly extended to their languages and this is demonstrated and evaluated for Spanish.},
	keywords = {*LEXICAL CONCEPTUAL STRUCTURE, *LEXICOGRAPHY, *MACHINE TRANSLATION, *VOCABULARY, *WORDS(LANGUAGE), algorithms, CHINA, COMMERCE, DIAGNOSTIC EQUIPMENT, efficiency, English language, grammars, INPUT, INTERLINGUAL, LANGUAGE, LANGUAGE-INDEPENDENT NLP., linguistics, MAPPING, natural language, QUALITY, SPANISH LANGUAGE, verification},
	url = {http://stinet.dtic.mil/oai/oai?\&verb=getRecord\&metadataPrefix=html\&identifier=ADA458756},
	author = {Habash,Nizar and Dorr, Bonnie J and Traum,David}
}
@conference {18442,
	title = {The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program},
	booktitle = {Software Maintenance, 2001. Proceedings. IEEE International Conference on},
	year = {2001},
	month = {2001///},
	pages = {118 - 126},
	abstract = {The National Aeronautics and Space Administration (NASA) Space Shuttle program is a multi-billion dollar activity scheduled to span over 40 years. Maintaining such software with requirements for high reliability and mission safety taxes current development methods. The authors present how independent verification and validation (IV amp;V) activities are used to support these requirements. They also show how the IV amp;V activities for this program differ from those of more traditional software developments},
	keywords = {activities;NASA, Administration;complex, Aeronautics, amp;V, and, computing;program, critical, developments;aerospace, environment;development, evolutionary, IV, maintenance;software, maintenance;traditional, methods;high, program;National, prototyping;space, reliability;independent, safety;safety, Shuttle, software, software;software, space, validation;mission, vehicles;, verification, verification;safety-critical},
	doi = {10.1109/ICSM.2001.972722},
	author = {Zelkowitz, Marvin V and Rus,L.}
}
