19,339 research outputs found
Lógica
In this chapter, the author presents an overview of the main contents to be covered by a Formal Logic course for Philosophy undergraduates. It includes the following sections: (1) Logic: what follows from what? (2) Logic for philosophers; (3) Propositional logic; (4) Predicate logic; (5) The theory of identity; (6) Soundness and completeness; (7) Propositional modal logic; (8) Bibliography
Modularity for Security-Sensitive Workflows
An established trend in software engineering insists on using components
(sometimes also called services or packages) to encapsulate a set of related
functionalities or data. By defining interfaces specifying what functionalities
they provide or use, components can be combined with others to form more
complex components. In this way, IT systems can be designed by mostly re-using
existing components and developing new ones to provide new functionalities. In
this paper, we introduce a notion of component and a combination mechanism for
an important class of software artifacts, called security-sensitive workflows.
These are business processes in which execution constraints on the tasks are
complemented with authorization constraints (e.g., Separation of Duty) and
authorization policies (constraining which users can execute which tasks). We
show how well-known workflow execution patterns can be simulated by our
combination mechanism and how authorization constraints can also be imposed
across components. Then, we demonstrate the usefulness of our notion of
component by showing (i) the scalability of a technique for the synthesis of
run-time monitors for security-sensitive workflows and (ii) the design of a
plug-in for the re-use of workflows and related run-time monitors inside an
editor for security-sensitive workflows
Da filosofia antiga à filosofia contemporânea da acção
In this chapter, the author presents and develops his views on the philosophy of action. One main theme is the problem of acrasia: how is it possible that a person sometimes acts freely and intentionally against his own better judgement? The author criticizes Donald Davidson’s solution to this problem for being unrealistic and exaggerating the rationality of the agent. He also presents his original way of reading Aristotle’s most famous text on this subject, in Ethica Nicomachea VII 3. The role of desires and reasons in the motivation of action, the individuation of actions, and the possibility of mental causation are also discussed
- …