Log in

Relevant bibliographies by topics / Declarative framework / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Declarative framework.

Dissertations / Theses on the topic 'Declarative framework'

Author: Grafiati

Published: 4 June 2021

Last updated: 16 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 20 dissertations / theses for your research on the topic 'Declarative framework.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Hanus, Michael, and Sven Koschnicke. "An ER-based framework for declarative web programming." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4144/.

Full text

Abstract:

We describe a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore and most important, th

APA, Harvard, Vancouver, ISO, and other styles

2

Nicolov, N. N. "Approximate text generation from non-hierarchical representations in a declarative framework." Thesis, University of Edinburgh, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.659996.

Full text

Abstract:

This thesis is on Natural Language Generation. It describes a linguistic realisation system that translates the semantic information encoded in a conceptual graph into an English language sentence. The use of a non-hierarchically structured semantic representation (conceptual graphs) and an approximate matching between semantic structures allows us to investigate a more general version of the sentence generation problem where one is not pre-committed to a choice of the syntactically prominent elements in the initial semantics. We show clearly how the semantic structure is declaratively related

APA, Harvard, Vancouver, ISO, and other styles

3

Bragaglia, Stefano <1976&gt. "Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amsdottorato.unibo.it/5753/.

Full text

Abstract:

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed

APA, Harvard, Vancouver, ISO, and other styles

4

Montali, Marco <1981&gt. "Specification and Verification of Declarative Open Interaction Models - A Logic-based framework." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1829/.

Full text

Abstract:

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are c

APA, Harvard, Vancouver, ISO, and other styles

5

Gopal, Sriram. "An Extensible Framework for Annotation-based Parameter Passing in Distributed Object Systems." Thesis, Virginia Tech, 2008. http://hdl.handle.net/10919/33742.

Full text

Abstract:

Modern distributed object systems pass remote parameters based on their runtime type. This design choice limits the expressiveness, readability, and maintainability of distributed applications. While a rich body of research is concerned with middleware extensibility, modern distributed object systems do not offer programming facilities to extend their remote parameter passing semantics. Thus, extending these semantics requires understanding and modifying the underlying middleware implementation. This thesis addresses these design shortcomings by presenting (i) a declarative and extensibl

APA, Harvard, Vancouver, ISO, and other styles

6

Schönig, Stefan, Macias Cristina Cabanillas, Stefan Jablonski, and Jan Mendling. "A framework for efficiently mining the organisational perspective of business processes." Elsevier, 2016. http://dx.doi.org/10.1016/j.dss.2016.06.012.

Full text

Abstract:

Process mining aims at discovering processes by extracting knowledge from event logs. Such knowledge may refer to different business process perspectives. The organisational perspective deals, among other things, with the assignment of human resources to process activities. Information about the resources that are involved in process activities can be mined from event logs in order to discover resource assignment conditions, which is valuable for process analysis and redesign. Prior process mining approaches in this context present one of the following issues: (i) they are limited to discoveri

APA, Harvard, Vancouver, ISO, and other styles

7

Horozal, Feryal Fulya [Verfasser], Michael [Akademischer Betreuer] Kohlhase, Dieter [Akademischer Betreuer] Hutter, Herbert [Akademischer Betreuer] Jäger, Till [Akademischer Betreuer] Mossakowski, and Carsten [Akademischer Betreuer] Schürmann. "A Framework for Defining Declarative Languages / Feryal Fulya Horozal. Betreuer: Michael Kohlhase. Gutachter: Michael Kohlhase ; Dieter Hutter ; Herbert Jäger ; Till Mossakowski ; Carsten Schürmann." Bremen : IRC-Library, Information Resource Center der Jacobs University Bremen, 2014. http://d-nb.info/1087318971/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Aloulou, Hamdi. "Framework for ambient assistive living : handling dynamism and uncertainty in real time semantic services provisioning." Phd thesis, Institut National des Télécommunications, 2014. http://tel.archives-ouvertes.fr/tel-01048706.

Full text

Abstract:

The heterogeneity of the environments as well as the diversity of patients' needs and profiles are major constraints that challenge the spread of ambient assistive living (AAL) systems. AAL environments are usually evolving by the introduction or the disappearance of sensors, devices and assistive services to respond to the evolution of patients' conditions and human needs. Therefore, a generic framework that is able to adapt to such dynamic environments and to integrate new sensors, devices and assistive services at runtime is required. Implementing such a dynamic aspect may produce an uncert

APA, Harvard, Vancouver, ISO, and other styles

9

Aloulou, Hamdi. "Framework for ambient assistive living : handling dynamism and uncertainty in real time semantic services provisioning." Thesis, Evry, Institut national des télécommunications, 2013. http://www.theses.fr/2013TELE0016/document.

Full text

Abstract:

L’hétérogénéité des environnements ainsi que la diversité des profils et des besoins des patients représentent des contraintes majeures qui remettent en question l’utilisation à grande échelle des systèmes d’assistance à l’autonomie à domicile (AAL). En effet, afin de répondre à l’évolution de l’état des patients et de leurs besoins humains, les environnements AAL sont en évolution continue par l’introduction ou la disparition de capteurs, de dispositifs d’interaction et de services d’assistance. Par conséquent, une plateforme générique et dynamique capable de s’adapter à différents environnem

APA, Harvard, Vancouver, ISO, and other styles

10

Gao, Xiaoxu. "Exploring declarative rule-based probabilistic frameworks for link prediction in Knowledge Graphs." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-210650.

Full text

Abstract:

En kunskapsgraf lagrar information från webben i form av relationer mellan olika entiteter. En kunskapsgrafs kvalité bestäms av hur komplett den är och dess noggrannhet. Dessvärre har många nuvarande kunskapsgrafer brister i form av saknad fakta och inkorrekt information. Nuvarande lösningar av länkförutsägelser mellan entiteter har problem med skalbarhet och hög arbetskostnad. Denna uppsats föreslår ett deklarativt regelbaserat probabilistiskt ramverk för att utföra länkförutsägelse. Systemet involverar en regelutvinnande modell till ett “hinge-loss Markov random fields” för att föreslå länka

APA, Harvard, Vancouver, ISO, and other styles

11

Cederlund, Mattias. "Performance of frameworks for declarative data fetching : An evaluation of Falcor and Relay+GraphQL." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-196058.

Full text

Abstract:

With the rise of mobile devices claiming a greater and greater portion of internet traffic, optimizing performance of data fetching becomes more important. A common technique of communicating between subsystems of online applications is through web services using the REpresentational State Transfer (REST) architectural style. However, REST is imposing restrictions in flexibility when creating APIs that are potentially introducing suboptimal performance and implementation difficulties. One proposed solution for increasing efficiency in data fetching is through the use of frameworks for declarat

APA, Harvard, Vancouver, ISO, and other styles

12

Song, Myoungkyu. "Supporting Effective Reuse and Safe Evolution in Metadata-Driven Software Development." Diss., Virginia Tech, 2013. http://hdl.handle.net/10919/19369.

Full text

Abstract:

In recent years, metadata-driven software development has gained prominence. In this implementation model, various application concerns are provided as third-party frameworks and libraries that the programmer configures through metadata, such as XML configuration files or Java annotations. Metadata-driven software development is a special case of declarative programming: metadata serves as a domain-specific language that the programmer uses to declare various concerns, whose implementation is provided by an elaborate ecosystem of libraries and frameworks that serve as pre-defined application b

APA, Harvard, Vancouver, ISO, and other styles

13

Lenferna, Georges Alexandre. "Creating a new declaration of rights : a critical reconstruction of earth jurisprudence's global legislative framework." Thesis, Rhodes University, 2013. http://hdl.handle.net/10962/d1001979.

Full text

Abstract:

This thesis aims to critique the Universal Declaration of the Rights of Mother Earth and its underlying moral justification in order to provide a stronger and improved version of both. In Chapter 1 I explore what sort of moral justification is necessary to establish the Universal Declaration on firm grounds and explore its relation to environmental ethics and rights discourse. I argue that a non-anthropocentric perspective is necessary to justify the Universal Declaration’s rights. In Chapter 2 I explore the underlying justification of the Universal Declaration as discovered in the works of Co

APA, Harvard, Vancouver, ISO, and other styles

14

Van, der Walt Paul. "A language-independent methodology for compiling declarations into open platform frameworks." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0288/document.

Full text

Abstract:

Dans le domaine des plates-formes ouvertes, l’utilisation des cadriciels (frameworks) enrichis par des déclarations pour exprimer les permissions de l’application est de plus en plus répandue. Ceci est une réaction logique au fait qu’il y a une explosion d’adoption des appareils embarqués et mobiles. Leur omniprésence dans notre vie quotidienne engendre des craintes liées à la sécurité et à la vie privée, car l’usager partage de plus en plus ses données et ressources privées avec des tiers qui développent des applications auxquelles on n’a pas de raison de faire confiance. Malheureusement, la

APA, Harvard, Vancouver, ISO, and other styles

15

Al-Saleem, Khalid I. "The legal framework for the sustainable development of Iraqi oil and gas : a study in particular reference to the Kurdistan Region, and with special emphasis on the New Delhi Declaration." Thesis, University of Portsmouth, 2015. https://researchportal.port.ac.uk/portal/en/theses/the-legal-framework-for-the-sustainable-development-of-iraqi-oil-and-gas(9dbb6166-56f3-49cd-986d-092ecb608625).html.

Full text

Abstract:

Iraq’s liberation from the Saddam regime after a few decades of oppression signalled national transition to peace and stability. The entire world had its eyes fixed on Iraq as a model for newly liberated nation states. Even though Iraq was liberated from authoritarian rule, but it has yet to be liberated from its socio-economic woes. Decades of neglect at the hands of a military dictatorship, newly found ethnic and sectarian divides and now a regional cum international jihadist agenda threaten to tear Iraq apart. The true underlying cause of Iraq’s problems is socio-economic divide – precipita

APA, Harvard, Vancouver, ISO, and other styles

16

Zembe, Yanga. "Community participation in the recruitment of community health workers :a case study of the three community health worker programmes in South Africa." Thesis, University of the Western Cape, 2009. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_7266_1299058637.

Full text

Abstract:

<p>This research investigates the nature and extent of community participation and involvement in the recruitment and selection processes for Community Health Workers (CHWs), primarily through detailed case studies of three CHW programmes, one in the Western Cape, another in KwaZulu-Natal, and a third which operates in the Western Cape and KwaZulu-Natal. The first utilizes CHWs in health education and home-based care in Khayelitsha and Nyanga. The second specializes in the training, management and supervision of home-based care CHWs in the rural areas of KwaZulu-Natal. The third utilizes CHWs

APA, Harvard, Vancouver, ISO, and other styles

17

Ouali, Abdelkader. "Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMC215/document.

Full text

Abstract:

Les problèmes d’optimisation combinatoire sont devenus la cible de nombreuses recherches scientifiques pour leur importance dans la résolution de problèmes académiques et de problèmes réels rencontrés dans le domaine de l’ingénierie et dans l’industrie. La résolution de ces problèmes par des méthodes exactes ne peut être envisagée à cause des délais de traitement souvent exorbitants que nécessiteraient ces méthodes pour atteindre la (les) solution(s) optimale(s). Dans cette thèse, nous nous sommes intéressés au contexte algorithmique de résolution des problèmes combinatoires, et au contexte de

APA, Harvard, Vancouver, ISO, and other styles

18

Assegaai, Tumelo. "Supervision and trust in community health worker programmes at scale: Developing a district level supportive supervision framework for ward-based outreach teams in North West Province, South Africa." University of Western Cape, 2021. http://hdl.handle.net/11394/8262.

Full text

Abstract:

Philosophiae Doctor - PhD<br>National community health worker (CHW) programmes are to an increasing extent being implemented in health systems globally, mirrored in South Africa in the ward-based outreach team (WBOT) strategy. In many countries, including South Africa, a major challenge impacting the performance and sustainability of scaled-up CHW programmes is ensuring adequate support from and supervision by the local health system. Supervisory systems, where they exist, are usually corrective and hierarchical in nature, and implementation remains poor. In the South African context, th

APA, Harvard, Vancouver, ISO, and other styles

19

Sullivan, Allison. "AUnit - a testing framework for alloy." Thesis, 2014. http://hdl.handle.net/2152/26426.

Full text

Abstract:

Writing declarative models of software designs and analyzing them to detect defects is an effective methodology for developing more dependable software systems. However, writing such models correctly can be challenging for practitioners who may not be proficient in declarative programming, and their models themselves may be buggy. We introduce the foundations of a novel test automation framework, AUnit, which we envision for testing declarative models written in Alloy -- a first-order, relational language that is supported by its SAT-based analyzer. We take inspiration from the success of t

APA, Harvard, Vancouver, ISO, and other styles

20

Narayanan, Vidya Priyadarshini. "Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints." Thesis, 2009. http://hdl.handle.net/2152/ETD-UT-2009-12-700.

Full text

Abstract:

Advances in constraint solving and increases in processing power have enabled new approaches for automating specification-based testing. However, writing specifications and scaling techniques that utilize them remain challenging. We introduce Milao -- a novel framework for mixed imperative and declarative formulation and solving of structural constraints -- which addresses both these challenges. One, Milao introduces a mixed style for writing specifications using a combination of declarative and imperative styles, which provides flexibility in specification formulation and reduces its burden o

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!