@article {19028,
	title = {Cloud Data Protection for the Masses},
	journal = {Computer},
	volume = {45},
	year = {2012},
	month = {2012},
	pages = {39 - 45},
	abstract = {Offering strong data protection to cloud users while enabling rich applications is a challenging task. Researchers explore a new cloud platform architecture called Data Protection as a Service, which dramatically reduces the per-application development effort required to offer data protection, while still allowing rapid development and maintenance.},
	keywords = {Cloud computing, cloud data protection, cloud platform architecture, cloud users, Maintenance, rapid development, security of data, strong data protection},
	isbn = {0018-9162},
	author = {Song,D. and Elaine Shi and Fischer, I. and Shankar,U.}
}
@conference {17790,
	title = {RDF aggregate queries and views},
	booktitle = {Data Engineering, 2005. ICDE 2005. Proceedings. 21st International Conference on},
	year = {2005},
	month = {2005/04//},
	pages = {717 - 728},
	abstract = {Resource description framework (RDF) is a rapidly expanding Web standard. RDF databases attempt to track the massive amounts of Web data and services available. In this paper, we study the problem of aggregate queries. We develop an algorithm to compute answers to aggregate queries over RDF databases and algorithms to maintain views involving those aggregates. Though RDF data can be stored in a standard relational DBMS (and hence we can execute standard relational aggregate queries and view maintenance methods on them), we show experimentally that our algorithms that operate directly on the RDF representation exhibit significantly superior performance.},
	keywords = {aggregate, databases;, DBMS;, description, framework;, languages;, Maintenance, methods;, processing;, queries;, query, RDF, relational, resource, standard;, standards;, view, Web},
	doi = {10.1109/ICDE.2005.121},
	author = {Hung,E. and Deng,Yu and V.S. Subrahmanian}
}
@article {12129,
	title = {Eight lessons learned during COTS-based systems maintenance},
	journal = {Software, IEEE},
	volume = {20},
	year = {2003},
	month = {2003/10//sept},
	pages = {94 - 96},
	abstract = {To make better decisions relative to CBSs, we need empirical knowledge. To gain this knowledge, we must more fully understand the lifecycle processes people use when harnessing COTS packages. The initial findings reported here are but the first step in our attempts to capture this empirical knowledge. We plan to continue collecting data and investigating the phenomenology of COTS-based systems.},
	keywords = {COTS, COTS-based, cycle, life, lifecycle, Maintenance, maintenance;, object-oriented, packages;, phase;, processes;, programming;, reusability;, software, systems},
	isbn = {0740-7459},
	doi = {10.1109/MS.2003.1231161},
	author = {Reifer,D.J. and Basili, Victor R. and Boehm,B.W. and Clark,B.}
}
@conference {12799,
	title = {Efficient model checking via the equational μ-calculus},
	booktitle = {, Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS {\textquoteright}96. Proceedings},
	year = {1996},
	month = {1996/07/27/30},
	pages = {304 - 312},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {This paper studies the use of an equational variant of the modal μ-calculus as a unified framework for efficient temporal logic model checking. In particular we show how an expressive temporal logic, CTL*, may be efficiently translated into the μ-calculus. Using this translation, one may then employ μ-calculus model-checking techniques, including on-the-fly procedures, BDD-based algorithms and compositional model-checking approaches, to determine if systems satisfy formulas in CTL*},
	keywords = {Automata, BDD-based algorithms, Boolean functions, Calculus, compositional model-checking approaches, computational complexity, Computer science, CTL*, Data structures, Encoding, equational variant, equational μ-calculus, Equations, expressive temporal logic, Logic, Maintenance, modal μ-calculus, Model checking, on-the-fly procedures, Surges, temporal logic, temporal logic model checking, unified framework},
	isbn = {0-8186-7463-6},
	doi = {10.1109/LICS.1996.561358},
	author = {Bhat,G. and Cleaveland, Rance}
}
