Browsing by Subject "Computer software"
Now showing items 1-8 of 8
-
Approach for scalability in software as a service
(Dhirubhai Ambani Institute of Information and Communication Technology, 2013)Software as a Service (SaaS) is a software service delivery model. Software is centrally hosted on cloud infrastructure and delivered as a service through the Internet. Scalability is one of the major issues in SaaS. One ... -
Improvement of tagged architecture for preventing software vulnerabilities
(Dhirubhai Ambani Institute of Information and Communication Technology, 2008)In spite of the many defense techniques, software vulnerabilities like buffer overflow, format string vulnerability and integer vulnerability is still exploited by attackers. These software vulnerabilities arise due to ... -
Model Based Testing and Model Checking : An Efficient Combination
(Dhirubhai Ambani Institute of Information and Communication Technology, 2023)This thesis aims to combine MBT with model analysis to provide an overall frame-work for feedback-based model analysis. We have used an MBT tool, Graph-Walker, and a model checker, UPPAAL, for transformation, feedback, and ... -
Ontology development and query execution for an agro-advisory system
(Dhirubhai Ambani Institute of Information and Communication Technology, 2014)In agriculture domain, farmers have queries regarding crop, soil, climate, cultivation process, disease, and pest. They express their queries in a natural language which are usually answered by agriculture experts. Due to ... -
Path complexity of maximum segment sum problem
(Dhirubhai Ambani Institute of Information and Communication Technology, 2009)Various software complexity metrics have been proposed in literature. A program complexity measure called path complexity is proposed in [1]. Path complexity P(A,n) of an algorithm A is defined to be the number of program ... -
SQL-GQL inter-query translation for Google App engine datastore
(Dhirubhai Ambani Institute of Information and Communication Technology, 2012)On demand services, usage based pricing, and scalability features of cloud computing has attracted many customers to move their applications into cloud. But different cloud service providers are using different standards ... -
Study of algebraic and state based testing techniques
(Dhirubhai Ambani Institute of Information and Communication Technology, 2007)Sequential programs can be modeled as algebra or transitions on a state space. Whether a program is implemented according to its model is the question addressed by program testing. The thesis illustrates issues in constructing ... -
Transaction based verification of discrete wavelet transform IP core using wishbone transactor
(Dhirubhai Ambani Institute of Information and Communication Technology, 2010)Verification is major concern in product development life cycle. The number of human hours required writing a test bench and choice of verification approach is the major contributor in the Non Recurring Engineering (NRE) ...