Declarative and procedural paradigms-do they really compete?

Boley, Harold; Meier, Micha; Moss, C.; Richter, Michael M.; Воронков, Андрей

doi:10.1007/bfb0013545

Cited by 7 publications

(5 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As supporting context, we note that actions and outcomes can respectively be mapped to imperative advice (advice that includes specific steps or actions to reach an outcome), and declarative advice (advice that specifies an end result or outcome to reach, but not any specific method by which to reach it) [14,32]. Depending on their nature, some outcomes may be verifiable, e.g., through a test that yields a yes/no answer to whether the goal was reached, or a measure used against a pass-fail threshold.…”

Section: Imperative and Declarative Advice Vs Actions And Outcomesmentioning

confidence: 99%

Security Best Practices: A Critical Analysis Using IoT as a Case Study

Barrera

Bellman

Oorschot

2023

ACM Trans. Priv. Secur.

View full text Add to dashboard Cite

Academic research has highlighted the failure of many Internet of Things (IoT) product manufacturers to follow accepted practices, while IoT security best practices have recently attracted considerable attention worldwide from industry and governments. Given current examples of security advice, confusion is evident from guidelines that conflate desired outcomes with security practices to achieve those outcomes. We explore a surprising lack of clarity, and void in the literature, on what (generically) best practice means, independent of identifying specific individual practices or highlighting failure to follow best practices. We consider categories of security advice, and analyze how they apply over the lifecycle of IoT devices. For concreteness in discussion, we use iterative inductive coding to code and systematically analyze a set of 1013 IoT security best practices, recommendations, and guidelines collated from industrial, government, and academic sources. Among our findings, of all analyzed items, 68% fail to meet our definition of an (actionable) practice, and 73% of all actionable advice relates to the software development lifecycle phase, highlighting the critical position of manufacturers and developers. We hope that our work provides a basis for the community to better understand best practices, identify and reach consensus on specific practices, and find ways to motivate relevant stakeholders to follow them.

show abstract

Section: Imperative and Declarative Advice Vs Actions And Outcomesmentioning

confidence: 99%

Security Best Practices: A Critical Analysis Using IoT as a Case Study

Barrera

Bellman

Oorschot

2023

ACM Trans. Priv. Secur.

View full text Add to dashboard Cite

show abstract

“…Based on previous research [7], we consider that the knowledge-intensive process cannot be represented only using an imperative model such as workflow due to high unpredictability [4], and should be specified using a declarative [5] or mixed (imperative and declarative) model.…”

Section: A Process Modelingmentioning

confidence: 99%

Intelligent systems for users' automated guidance

Kushnareva

2014

2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS)

View full text Add to dashboard Cite

Future developments for case management must evolve from the current systems based on rigid, workflow based processes into context-aware, agile dynamic structures. We propose to combine a declarative approach for process design and the use of formal methods to enable a set of automated techniques for process analysis and validation based on model checking and theorem proving. Thus, they improve the level of automated user support allowing maximum run time flexibility. This paper defines a roadmap for a PhD research, aiming at developing the automated guidance provided by intelligent systems. The main idea is to explore formal methods and formal concept analysis to build a new approach for knowledge-intensive process modeling, simulation and analysis. In this paper, we consider the example of an intelligent city operation center.

show abstract

“…The distinction between declarative and procedural knowledge has long been a research issue in Artificial Intelligence and Cognitive Science [8,9,10]. Some fundamental questions still remain unresolved.…”

Section: Deep Modellingmentioning

confidence: 99%

Two-level learner modelling in the tutoring of declarative knowledge based problem solving

Huang

Bonzon

1995

World Conference on Computers in Education VI

View full text Add to dashboard Cite

This paper discusses two different kinds of problem solving: procedural skill based problem solving and declarative knowledge based problem solving. An intelligent learning environment has been implemented for tutoring declarative knowledge based problem solving. The environment is built around two levels of learner modelling: shallow modelling and deep modelling. The first relates an error of the learner with a misconception. The second verifies the learner's acquisition of various factual knowledge or concepts needed, and helps the learner to solve a concrete problem. A learning environment for Accountancy which serves as a case study, has been implemented in Smalltalk V for OS2.

show abstract

Declarative and procedural paradigms-do they really compete?

Cited by 7 publications

References 2 publications

Security Best Practices: A Critical Analysis Using IoT as a Case Study

Security Best Practices: A Critical Analysis Using IoT as a Case Study

Intelligent systems for users' automated guidance

Two-level learner modelling in the tutoring of declarative knowledge based problem solving

Contact Info

Product

Resources

About