Academic literature on the topic 'Declarative framework'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Declarative framework"

1

Finkelstein, Stacy E., Peter Freyd, and James Lipton. "A new framework for declarative programming." Theoretical Computer Science 300, no. 1-3 (2003): 91–160. http://dx.doi.org/10.1016/s0304-3975(01)00308-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Di Pierro, Alessandra, Chris Hankin, and Herbert Wiklicky. "Probabilistic Confinement in a Declarative Framework." Electronic Notes in Theoretical Computer Science 48 (June 2001): 108–30. http://dx.doi.org/10.1016/s1571-0661(04)00152-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Burdick, Douglas, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, and Wang-Chiew Tan. "A Declarative Framework for Linking Entities." ACM Transactions on Database Systems 41, no. 3 (2016): 1–38. http://dx.doi.org/10.1145/2894748.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Mayer, Wolfgang, Markus Stumptner, Peter Killisperger, and Georg Grossmann. "A declarative framework for work process configuration." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25, no. 2 (2011): 143–62. http://dx.doi.org/10.1017/s0890060410000594.

Full text
Abstract:
AbstractThis article describes the technical principles and representation of a constraint-based configuration method for work processes. Methods developed for the configuration of modular systems comprising components have traditionally adopted a representation where the properties and compatibility requirements are expressed as constraints associated with individual components. However, this representation does not accurately capture constraints on paths and subprocesses and is therefore unsuitable for process configuration. This article extends established constraint-based configuration met
APA, Harvard, Vancouver, ISO, and other styles
5

Larkin, Henry. "A framework for programmatically designing user interfaces in JavaScript." International Journal of Pervasive Computing and Communications 11, no. 3 (2015): 254–69. http://dx.doi.org/10.1108/ijpcc-03-2015-0014.

Full text
Abstract:
Purpose – The purpose of this paper is to investigate the feasibility of creating a declarative user interface language suitable for rapid prototyping of mobile and Web apps. Moreover, this paper presents a new framework for creating responsive user interfaces using JavaScript. Design/methodology/approach – Very little existing research has been done in JavaScript-specific declarative user interface (UI) languages for mobile Web apps. This paper introduces a new framework, along with several case studies that create modern responsive designs programmatically. Findings – The fully implemented p
APA, Harvard, Vancouver, ISO, and other styles
6

HANUS, MICHAEL, and SVEN KOSCHNICKE. "An ER-based framework for declarative web programming." Theory and Practice of Logic Programming 14, no. 3 (2012): 269–91. http://dx.doi.org/10.1017/s1471068412000385.

Full text
Abstract:
AbstractWe describe a framework to support the implementation of web-based systems intended 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, the
APA, Harvard, Vancouver, ISO, and other styles
7

Finkelstein, Stacy E., Peter Freyd, and James Lipton. "Erratum to: “A new framework for declarative programming”." Theoretical Computer Science 311, no. 1-3 (2004): 527. http://dx.doi.org/10.1016/j.tcs.2003.09.011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

López, Hugo A., Carlos Olarte, and Jorge A. Pérez. "Towards a Unified Framework for Declarative Structured Communications." Electronic Proceedings in Theoretical Computer Science 17 (February 6, 2010): 1–15. http://dx.doi.org/10.4204/eptcs.17.1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Caballero, Rafael, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit. "A unified framework for declarative debugging and testing." Information and Software Technology 129 (January 2021): 106427. http://dx.doi.org/10.1016/j.infsof.2020.106427.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Guns, Tias, Anton Dries, Siegfried Nijssen, Guido Tack, and Luc De Raedt. "MiningZinc: A declarative framework for constraint-based mining." Artificial Intelligence 244 (March 2017): 6–29. http://dx.doi.org/10.1016/j.artint.2015.09.007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Declarative framework"

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
More sources

Books on the topic "Declarative framework"

1

Autosegmental representation in a declarative constraint-based framework. Garland, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Eritrea) International Conference on Early Childhood Care and Development (2nd 2002 Asmara. Asmara declaration on early child development: Framework for action : 2nd International Conference on Early Child Development : October 28-31, 2002 Asmara Eritrea. ECD Conference Secretariat, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

World Conference on Education for All (1990 Bangkok, Thailand). World declaration on education for all: And, Framework for action to meet basic learning needs : adopted by the : World Conference on Education for All, "Meeting basic learning needs", Jomtien, Thailand, 5-9 March, 1990. Inter-Agency Commission for the World Conference on Education for All, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Great Britain. Parliament. House of Commons. Secretary of State for Foreign and Commonwealth Affairs. Framework agreement for trade and cooperation between the European Community and its member states, on the one hand, and the Republic of Korea on the other hand, with minutes of the signing and joint declaration: Luxembourg, 28 October 1996. Stationery Office, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mhlanga, J. J. A study of access, distribution, levels, patterns, and trends of primary school enrolments in Mashonaland Central and Masvingo Provinces of Zimbabwe: A follow-up to the Jomtien World Declaration on Education for All and framework for action to meet basic learning needs. UNICEF Harare, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dergunova, Viktoriya, and Anastasiya Prokopova. Analysis of legal regulation and judicial practice of resolving disputes between parents about children. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1218051.

Full text
Abstract:
The monograph is a comprehensive study of the current practice of resolving cases on determining the place of residence of children, the procedure for communicating with them separately living parents and other relatives; restriction and deprivation of parental rights; on the departure of children outside the Russian Federation and return within the framework of the Convention on Civil Aspects of International Child Abduction of 1980, the Convention on Jurisdiction, Applicable Law, Recognition and Enforcement and Cooperation in relation to Parental Responsibility and Measures for the Protectio
APA, Harvard, Vancouver, ISO, and other styles
7

Scobbie, James M. Autosegmental Representation in a Declarative Constraint-Based Framework. Taylor & Francis Group, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Scobbie, James M. Autosegmental Representation in a Declarative Constraint-Based Framework. Routledge, 2014. http://dx.doi.org/10.4324/9781315052441.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Stokke, Andreas. Communicating Attitudes. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198825968.003.0010.

Full text
Abstract:
This chapter extends the analysis of insincere language use from the last chapter to non-declarative utterances, including imperative, interrogative, and exclamative utterances. It argues that such utterances communicate information about the speaker’s attitudes. The chapter offers an account of insincerity in the non-declarative realm that is shallow. On this view, a non-declarative utterance is insincere when it is made without a conscious intention to avoid communicating information not matching the speaker’s conscious attitudes. A notion of a communicative act is defined, and the chapter a
APA, Harvard, Vancouver, ISO, and other styles
10

Portner, Paul. Commitment to Priorities. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198738831.003.0011.

Full text
Abstract:
Imperative sentences can be used to perform a range of speech acts, some of which are intuitively “stronger” than others. We can distinguish several different pragmatic features related to judgments of imperative strength, including speaker authority and whether or not the imperative allows an inference to a strong or weak modal declarative. Building on the observation that such features are sometimes tied to the utterance’s intonation, this paper argues for an extension to imperatives of Gunlogson’s (2001) theory of rising and falling intonation in declaratives. Within the framework of dynami
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Declarative framework"

1

Limet, Sébastien, and Frédéric Saubion. "A general framework for R-unification problems." In Principles of Declarative Programming. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0056619.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Karczmarczuk, Jerzy. "Functional Framework for Sound Synthesis." In Practical Aspects of Declarative Languages. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-30557-6_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dell’Acqua, Pierangelo, and Luís Moniz Pereira. "A Logical Framework for Modelling eMAS." In Practical Aspects of Declarative Languages. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36388-2_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Vanhoof, Wim, Danny De Schreye, and Bern Martens. "A framework for bottom up specialisation of logic programs." In Principles of Declarative Programming. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0056607.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dao, Thi-Bich-Hanh, Khanh-Chuong Duong, and Christel Vrain. "A Declarative Framework for Constrained Clustering." In Machine Learning and Knowledge Discovery in Databases. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40994-3_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Groefsema, Heerko, Pavel Bulanov, and Marco Aiello. "Declarative Enhancement Framework for Business Processes." In Service-Oriented Computing. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25535-9_34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Aerts, Kris, and Karel De Vlaminck. "Visto: A More Declarative Gui Framework." In Computer-Aided Design of User Interfaces II. Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-011-4295-3_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fredrikson, Matt, Mihai Christodorescu, Jonathon Giffin, and Somesh Jhas. "A Declarative Framework for Intrusion Analysis." In Advances in Information Security. Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0140-8_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Laine, Markku, Denis Shestakov, and Petri Vuorimaa. "XFormsDB: A Declarative Web Application Framework." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31753-8_48.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Graham, T. C. Nicholas. "Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction." In Declarative Programming, Sasbachwalden 1991. Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Declarative framework"

1

Rouached, Mohsen. "A declarative Web services composition framework." In 2013 Eighth International Conference on Digital Information Management (ICDIM). IEEE, 2013. http://dx.doi.org/10.1109/icdim.2013.6693988.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Appeltauer, Malte, and Robert Hirschfeld. "Declarative layer composition in framework-based environments." In the International Workshop. ACM Press, 2012. http://dx.doi.org/10.1145/2307436.2307437.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Martiny, Karsten, Daniel Elenius, and Grit Denker. "Protecting Privacy with a Declarative Policy Framework." In 2018 IEEE 12th International Conference on Semantic Computing (ICSC). IEEE, 2018. http://dx.doi.org/10.1109/icsc.2018.00039.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Theodorou, Vasileios, Alberto Abelló, Maik Thiele, and Wolfgang Lehner. "A Framework for User-Centered Declarative ETL." In the 17th International Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2666158.2666178.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Martiny, Karsten, and Grit Denker. "Partial Decision Overrides in a Declarative Policy Framework." In 2020 IEEE 14th International Conference on Semantic Computing (ICSC). IEEE, 2020. http://dx.doi.org/10.1109/icsc.2020.00056.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hughes, G., D. Al-Jumeily, and A. Hussain. "A Declarative Language Framework for Cloud Computing Management." In 2009 Second International Conference on Developments in eSystems Engineering (DESE). IEEE, 2009. http://dx.doi.org/10.1109/dese.2009.16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Demetrescu, C., and I. Finocchi. "Smooth animation of algorithms in a declarative framework." In Proceedings 1999 IEEE Symposium on Visual Languages. IEEE, 1999. http://dx.doi.org/10.1109/vl.1999.795914.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Luo, Jing, Ying Li, Jie Qiu, and Ying Chen. "Declarative Constraint Framework for SOA Deployment and Configuration." In 2008 IEEE International Conference on Web Services (ICWS). IEEE, 2008. http://dx.doi.org/10.1109/icws.2008.33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kleimola, Jari, and Petri Vuorimaa. "RESTful Declarative Framework for Extended Home Entertainment Networks." In 2008 5th IEEE Consumer Communications and Networking Conference. IEEE, 2008. http://dx.doi.org/10.1109/ccnc08.2007.76.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Mesmoudi, Amin, and Mohand-Saïd Hacid. "A test framework for large scale declarative queries." In SAC 2014: Symposium on Applied Computing. ACM, 2014. http://dx.doi.org/10.1145/2554850.2555102.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Declarative framework"

1

Hart, Stephen, Shichao Ou, John Sweeney, and Rod Grupen. A Framework for Learning Declarative Structure. Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada459921.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Niebler, Rebecca. Abfallwirtschaftliche Geschäftsmodelle für Textilien in der Circular Economy. Sonderforschungsgruppe Institutionenanalyse, 2020. http://dx.doi.org/10.46850/sofia.9783941627833.

Full text
Abstract:
This master thesis explores the challenges for waste management business models in the field of textiles regarding the requirements of the circular economy, as well as improvement potentials in the current framework conditions. It is concerned with the research question: "Is it advisable to change the frame-work conditions at meso or macro level, with regard to business models for waste management companies in the textile sector that are oriented towards the requirements of the circular economy, and - if so - in what way?” The approach of the study is based on the delta analysis of the e Socie
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!