657,409 Hits in 7.3 sec

On the Complexity of Reasoning About Dynamic Policies [chapter]

Stefan Göller
Lecture Notes in Computer Science  
We study the complexity of satisfiability for DLP + dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies.  ...  Our results close the complexity gap of satisfiability for DLP + dyn from 2EXP, and for DLP dyn from NEXP, to EXP respectively, matching the EXP lower bound both inherit from Propositional Dynamic Logic  ...  Moreover the author thanks Markus Lohrey and Carsten Lutz for fruitful discussions on the topic as well as Florian Student for reading a draft version of this paper.  ... 
doi:10.1007/978-3-540-74915-8_28 fatcat:64h4qv37arfufb2ijvy6ig6nai

Digital economy: theoretical and applied aspect
Цифрова економіка: теоретико-прикладний аспект

Anton Filipenko, Taras Shevchenko National University of Kyiv
2020 Ekonomìčna teorìâ  
One of the goals of this paper is to encourage exploration of this alternative track.  ...  Both visions focus on competition, but the equilibrium vision focuses on competition as a state or market structure, while the complexity vision focuses on competition as an unending process.  ...  The entire complexity debate about dynamics, based on judgements about how the dynamic adjustment process worked, was lost.  ... 
doi:10.15407/etet2020.02.054 fatcat:hwclamu7vnhqvfjqz4le5odcxu

Metric for Security Activities Assisted by Argumentative Logic [chapter]

Tarek Bouyahia, Muhammad Sabir Idrees, Nora Cuppens-Boulahia, Frédéric Cuppens, Fabien Autrel
2015 Lecture Notes in Computer Science  
In this paper, the argumentative logic is used to reason about the rationale behind dynamic enforcement of security policies.  ...  This paper introduces an approach for efficient enforcement of security requirements based on argumentative logic, especially reasoning about activation or deactivation of different security mechanisms  ...  To do this, security tools must have intelligent reasoning capabilities as the one of the human brain. To develop an approach for dynamic policy reactions, we inspire from the human way of arguing.  ... 
doi:10.1007/978-3-319-17016-9_12 fatcat:ppa3gzmnk5a2xkdbclsggdu23m

Creative economics for a creative world: a comment

2014 Journal of Institutional Economics  
Thinking of applied economic policy as engineering, not science opens up new avenues of research, and will allow it be better deal with our complex world.  ...  Critics of mainstream economics often argue that the mainstream does not recognize that the economy is dynamic, creative and evolving, and they base their criticism of it for its failure to recognize that  ...  Introduction I, and, I suspect, just about any other reasonable economist (interpret economist who understands that the economy is a complex evolving system) agree with almost the entirety of Koppl et  ... 
doi:10.1017/s1744137414000319 fatcat:yc5c57c5lvhz5kjdysuqex2cvq

Should Calculus Be a Requirement for Intermediate Macro?

David C Colander
2013 Eastern Economic Journal  
The reason is not lack of effort; the reason is the complexity of macro interrelationships and the lack of the data that is necessary to seriously deal empirically with that complexity that the underlying  ...  on with presenting the models we have, and the useful thinking that macroeconomists have about policy issues.  ... 
doi:10.1057/eej.2013.38 fatcat:bhrwrz5albfhheab6hqyhspuoe

Context-Aware Security Policy for the Service Discovery

Slim Trabelsi, Laurent Gomez, Yves Roudier
2007 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07)  
Experimental results based on an implementation of our approach are finally presented.  ...  We offer the possibility for the users to specify their security preferences that will be enforced during the discovery process.  ...  Nevertheless the expressiveness power of OWL can be quickly restrictive as soon as we try to target more complex reasoning about context.  ... 
doi:10.1109/ainaw.2007.132 dblp:conf/aina/TrabelsiGR07 fatcat:jsvrpc3o5ffuvoffjlzww3aamm

Page 678 of Journal of Health Politics, Policy and Law Vol. 35, Issue 4 [page]

2010 Journal of Health Politics, Policy and Law  
After all, isn’t that what science and policy are all about? Trying to grasp the complex, make sense of it, and, maybe, change it just a bit. 12.  ...  678 Journal of Health Politics, Policy and Law The logic of change in the policy universe is therefore the logic of a complex adaptive system that alternates between the relatively static and the suddenly  ... 

A metadata-based architectural model for dynamically resilient systems

Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky, Nicolas Guelfi
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
This paper proposes a service-oriented architectural model allowing the dynamic enforcement of formally expressed metadata-based resilience policies.  ...  Achieving this objective is a very complex task since it implies reasoning at run-time, explicitly and in a combined way, on a system's functional and non-functional characteristics.  ...  ACKNOWLEDGEMENTS We are grateful to the anonymous reviewers for their comments and to Yuhui Chen for his work on Study 1.  ... 
doi:10.1145/1244002.1244132 dblp:conf/sac/SerugendoFRG07 fatcat:3xxyki4zqrcbjgupvllzldzqxu

The Keynesian Method, Complexity, and the Training of Economists [chapter]

David Colander
2010 Perspectives on Keynesian Economics  
systems analysis. 6 Put simply, picturing the macro economy as a complex system and a depression as the result of the intricacies of complex dynamics may have been Keynes' visionary idea behind the General  ...  likely exhibit highly complex dynamics and multiple equilibria-models that the best mathematicians of the time had not yet developed.  ... 
doi:10.1007/978-3-642-14409-7_9 fatcat:r6xdvho3jraybjusdgcinumdqq

Sins of the Sons of Samuelson: Vision, pedagogy, and the zig-zag windings of complex dynamics

David Colander, Casey Rothschild
2010 Journal of Economic Behavior and Organization  
The standard economics text is centered on a vision of a naturally self-regulated, dynamically stable system with a unique global attractor.  ...  It traces the evolution of the teaching of economics from Alfred Marshall, who built his supply-and-demand framework within a complexity vision of the economy.  ...  There are very good reasons to favor laissez faire policies.  ... 
doi:10.1016/j.jebo.2010.03.016 fatcat:4henkbgitzagfpopdtknwlj7uq


Minyoung Kim
2008 ACM SIGBED Review  
This thesis proposes a unified framework that employs iterative policy/parameter tuning by combining light-weight, on-the-fly formal verification with feedback for dynamic adaptation.  ...  The integration of formal analysis with dynamic behavior from system execution will result in a feedback loop that enables model refinement and further optimization of policies and parameters.  ...  Modeling, specification and reasoning about crosslayer timing properties: We propose a novel approach based on concurrent rewriting logic [3] to formally specify and reason about timing issues at all  ... 
doi:10.1145/1366283.1366307 fatcat:3cksnmaiizhprlvbl6r5ztsg7m

Computational Social Science, the Evolution of Policy Design and Rule Making in Smart Societies

Nicola Lettieri
2016 Future Internet  
Beyond shedding new light onto social dynamics, the emerging research area of Computational Social Science (CSS) is providing a new rationale for a more scientifically-grounded and effective policy design  ...  The attention is focused, to this end, on the legal mechanisms regulating the formulation and the evaluation of public policies.  ...  Acknowledgments: The author is truly thankful to Margherita Vestoso for the help given in proofreading of the article. Conflicts of Interest: The author declares no conflict of interest.  ... 
doi:10.3390/fi8020019 fatcat:ie3njk4s2zbq3jalr2qxdbmfvm

Privacy Control in Smart Phones Using Semantically Rich Reasoning and Context Modeling

Dibyajyoti Ghosh, Anupam Joshi, Tim Finin, Pramod Jagtap
2012 2012 IEEE Symposium on Security and Privacy Workshops  
We present our ongoing work on user data and contextual privacy preservation in mobile devices through semantic reasoning.  ...  Recent advances in context modeling, tracking and collaborative localization have led to the emergence of a new class of smartphone applications that can access and share embedded sensor data.  ...  ACKNOWLEDGMENT This research was partially supported by the National Science Foundation (award 0910838) and the Air Force Office of Scientific Research (grant FA550-08-0265).  ... 
doi:10.1109/spw.2012.27 dblp:conf/sp/GhoshJFJ12 fatcat:wtwh2xjdxzdwlagpcona3w2b7y

Robustness of Social-Ecological Systems: Implications for Public Policy

John M. Anderies, Marco A. Janssen
2013 Policy Studies Journal  
Acknowledgements We acknowledge financial support for this work from the National Science Foundation, grant numbers SES-0645789, SES-0748632 and BCS-1115054.  ...  Introduction Public policy processes are complex, dynamic phenomena.  ...  On the other hand, policy analysts can take heart in the fact that complex life forms have to address problems of similar levels of complexity, and do so very successfully.  ... 
doi:10.1111/psj.12027 fatcat:62lp7nbmljgi7pxrs76e6iqsi4

Complexity and Macro Pedagogy: The Complexity Vision as a Bridge between Graduate and Undergraduate Macro [chapter]

David Colander, Casey Rothschild
2009 Macroeconomic Theory and Macroeconomic Pedagogy  
Once one does that, both approaches can be seen as reasonable ways of dealing with that complexity, albeit with different aims in mind.  ...  difficult dynamic problems that can develop in complex systems, rather than as a set of scientifically grounded models that rely on rigorous micro foundations.  ... 
doi:10.1007/978-0-230-29166-9_7 fatcat:mfty3gfoljfppdjmg7wanf7vqy
« Previous Showing results 1 — 15 out of 657,409 results