Advancing declarative programming by Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology

Get full text

Declarative programming for knowledge management : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005 : revised selected papers / by International Conference on Applications of Declarative Programming and Knowledge Management (16th : 2005 : Fukuoka, Japan), Umeda, Masanobu, 1959-

Subjects:

Implementation halal product certification through self-declare program for MSEs products in Cirebon Regency by Muhimatul Umami, Shofwatun Nada, Nur Lulu Anisa

“…This community service activity aims to socialize and assist in applying for halal product certification for MSEs through the self-declaration program. The research method is Community Education through training and counselling conducted in the Pasaleman and Beber area with the category of food and beverage products. …”
Get full text

Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment by Roberto Casadei, Danilo Pianini, Andrea Placuzzi, Mirko Viroli, Danny Weyns

Subjects: Get full text

Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum by Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi

Subjects: Get full text

Secure Partitioning of Cloud Applications, with Cost Look-Ahead by Alessandro Bocci, Stefano Forti, Roberto Guanciale, Gian-Luigi Ferrari, Antonio Brogi

Subjects: Get full text

A Declarative Application Framework for Evaluating Advanced V2X-Based ADAS Solutions by András Wippelhauser, András Edelmayer, László Bokor

Subjects: Get full text

Safer in the Clouds (Extended Abstract) by Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari

“…We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. …”
Get full text

URSA: A System for Uniform Reduction to SAT by Predrag Janicic

“…The system uses a new specification language URSA that combines imperative and declarative programming paradigms. The reduction to SAT is defined precisely by the semantics of the specification language. …”
Get full text

Live programming support in the LogicBlox system: a MetaLogiQL approach by Green, TJ, Olteanu, D, Washburn, G

“…Our approach mirrors LogicBlox's declarative programming model and describes the maintenance of application code using declarative meta-rules; the meta-engine is essentially a "bootstrap" version of the database engine proper.…”

Performance evaluation of multidimensional parabolic type problems on distributed computing systems by Che Teh, Che Rahim, Islam, Md. Rajibul, Satam, Noriza, Alias, Norma, Hamzah, Norhafiza, Anwar, Rasiya, Darwis, Roziha, Abd. Ghaffar, Zarith Safiza

“…The resultant granularity analysis scheme is appropriate for developing adaptive parallelism of declarative programming languages on multiprocessors. The results recommend that the proposed method can be used for performance estimation of parallel programs. …”

Performance evaluation of multidimensional parabolic type problems on distributed computing systems by Alias, Norma, Anwar, Rasiya, Che Teh, Che Rahim, Satam, Noriza, Hamzah, Norhafiza, Abd. Ghaffar, Zarith Safiza, Darwis, Roziha, Islam, Md. Rajibul

“…The resultant granularity analysis scheme is appropriate for developing adaptive parallelism of declarative programming languages on multiprocessors. The results recommend that the proposed method can be used for performance estimation of parallel programs. …”
Get full text

Representing argumentation schemes with Constraint Handling Rules (CHR) by Thomas F. Gordon, Horst Friedrich, Douglas Walton

“… We present a high-level declarative programming language for representing argumentation schemes, where schemes represented in this language can be easily validated by domain experts, including developers of argumentation schemes in informal logic and philosophy, and serve as executable specifications for automatically constructing arguments, when applied to a set of assumptions. …”
Get full text

Integration of neuromorphic AI in event-driven distributed digitized systems: Concepts and research directions by Mattias Nilsson, Olov Schelén, Anders Lindgren, Anders Lindgren, Ulf Bodin, Cristina Paniagua, Jerker Delsing, Fredrik Sandin

“…Based on this analysis, we propose a microservice-based conceptual framework for neuromorphic systems integration, consisting of a neuromorphic-system proxy, which would provide virtualization and communication capabilities required in distributed systems of systems, in combination with a declarative programming approach offering engineering-process abstraction. …”
Get full text

Esfinge Virtual Lab—A Virtual Laboratory Platform With a Metadata-Based API and Based on Dynamic Component by Fernando Pereira, David Franca, Vinicius Paschoal, Marco Nardes, Reinaldo R. Rosa, Eduardo Guerra

“…The platform has a general purpose and is demonstrated in this work in the context of system prototyping. Using declarative programming techniques and a metadata-based APIs, a software developer may focus on business principles and processes rather than expend energy on the retrieval of information or the programming of the user interface. …”
Get full text

Inverted classroom to teach and learn the list concept in PROLOG by María del Carmen Chávez-Cárdenas, Zoila Zenaida García-Valdivia, Yaquelin Alfonso-Moreira

“…The objective of this work was to implement and evaluate this model by teaching complex contents of the declarative programming language PROLOG, a theme of the Artificial Intelligence subject of careers related to Computer Science. …”
Get full text

Monograph as an Homage to the Zagreb School of Stylistics: Considerations on the Occasion of the Book Zagreb School of Stylistics: The Golden Age of Croatian Literature Science by... by Remzija Hadžiefendić Parić

“…In this respect, she is inspiring in contemplating the dissemination of knowledge in the field of national identification, the principles and boundaries of text analysis, the declarative program (paradigms of approach to literary works), and deviations.…”
Get full text

Indigenous Protected and Conserved Areas (IPCAs), Aichi Target 11 and Canada’s Pathway to Target 1: Focusing Conservation on Reconciliation by Melanie Zurba, Karen Beazley, Emilie English, Johanna Buchmann-Duck

“…We contemplate the past, present and future of colonization and reconciliation in Canada, and consider the influence of international declarations, programs and initiatives on the potential for the formation of Indigenous Protected and Conserved Areas (IPCAs). …”
Get full text

Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems by Yutaro Nagae, Masahiko Sakai

“…Thus this system is regarded as a declarative program defining predicates, where a program execution returns whether a given ground atomic formula holds or not. …”
Get full text

Methodology of complex estimation level of socio-ecological and economic development of industrial regions of Ukraine by Viktoriia Ilchenko, Yuliya Goryaschenko, Kostyantyn Zhadko, Olexandr Nekhay

“…The article is devoted to a comprehensive assessment and improvement of the level of regional development on the basis of determining the effectiveness of the mechanism of sustainable development of the region, developing methodical principles for the formation of regional and local strategies for ensuring sustainable development.The purpose is to substantiate the methodology and means of integral assessment to implement the principle of equalization of sustainable development of regions in the aspect of information and innovation support by means of theories of social development, systems, clustering of the economy and economic information theory.A methodological approach was proposed for assessing the level and trends of sustainable development of the region, based on the analysis of declarations, program and final documents of UN conferences on economic, social and environmental issues. …”
Get full text