29,961 Hits in 4.4 sec

Page 512 of Human Resources Abstracts Vol. 39, Issue 4 [page]

2004 Human Resources Abstracts  
effects on formal communication and information flows in the organizations, but had inconclusive impact on human performance in the organizations. 1151 Lemus, D.  ...  groups (CMGs) endorsing proposals based on (a) the number of reasons offered for them, (b) the number of members advancing these rea- sons, (c) the net number of positive reactions to the reasons advanced  ... 

KGSecConfig: A Knowledge Graph Based Approach for Secured Container Orchestrator Configuration [article]

Mubin Ul Haque, M. Mehdi Kholoosi, M. Ali Babar
2021 arXiv   pre-print
We also demonstrate the utilization of the knowledge graph for automated misconfiguration mitigation in a Kubernetes cluster.  ...  We assert that our knowledge graph based approach can help in addressing several challenges, e.g., misconfiguration of security, associated with manually configuring the security of CO.  ...  One of the reasons ‘goal’, and ‘action’ entities using learning models.  ... 
arXiv:2112.12595v1 fatcat:3ddw5irclrgxfooe3chpwzqfpi

Towards Assuring Correct Coordination of Multilayer Recovery Using Integrated Ontologies

Joseph Kroculick
2016 Procedia Computer Science  
Configuring automated recovery in a multilayer virtualized network presents significant architectural issues.  ...  With an ontological approach, an assurance case that proves correctness of provisioning and resulting network operations can be automated.  ...  Effective reasoning over network management information depends on the availability of information that is exposed across system boundaries.  ... 
doi:10.1016/j.procs.2016.09.344 fatcat:hwat22dg5vghtismnznizkldgm

On the impact of configuration on abstract argumentation automated reasoning

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2018 International Journal of Approximate Reasoning  
In this paper we consider the impact of configuration of abstract argumentation reasoners both when using a single solver and choosing combinations of framework representation-solver options; and also  ...  To exemplify the impact of the framework-solver configuration we consider one of the most configurable solvers, namely ArgSemSAT-runner-up of the last competition on computational models of argumentation  ...  Acknowledgements The authors would like to acknowledge the use of the University of Huddersfield Queensgate Grid in carrying out this work.  ... 
doi:10.1016/j.ijar.2017.10.002 fatcat:gowfkbw62vhyzknsmd5dkr7pd4

Model-Based Statistical Testing of a Cluster Utility [chapter]

W. Thomas Swain, Stephen L. Scott
2005 Lecture Notes in Computer Science  
The population of cexec uses was modeled in terms of input selection choices. The J Usage Model Builder Library (JUMBL) provided the capability to generate test cases directly as Python scripts.  ...  One consists of "weighted" test cases to provide an intensive fault detection capability, while the other consists of random test cases to provide a statistically meaningful assessment of reliability.  ...  During test case generation, each of these parameters is assigned one of its abstract values.  ... 
doi:10.1007/11428831_55 fatcat:ef2oiop7xbbwjov73xwsntbwxy

Argumentation logic to assist in security administration

Jeff Rowe, Karl Levitt, Simon Parsons, Elizabeth Sklar, Andrew Applebaum, Sharmin Jalal
2012 Proceedings of the 2012 workshop on New security paradigms - NSPW '12  
In this paper we suggest the use of argumentation to provide automated support for security decisions.  ...  Argumentation is a formal approach to decision making that has proved to be effective in a number of domains.  ...  The seminal work in this area, however, is due to Dung [10] , who introduced the idea that one could consider the properties of a set of arguments at a purely abstract level.  ... 
doi:10.1145/2413296.2413301 dblp:conf/nspw/RoweLPSAJ12 fatcat:v2vdisfizjh57otmvr5k5pzkvy

Using argumentation logic for firewall configuration management

Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
2009 2009 IFIP/IEEE International Symposium on Integrated Network Management  
In this paper we extend our previous work on the use of formal argumentation and preference reasoning for firewall policy analysis and develop means to automatically generate firewall policies from higher-level  ...  We validate our approach by applying it to both examples from the literature and real firewall configurations of moderate size (≈ 150 rules).  ...  ACKNOWLEDGMENT We acknowledge financial support in part from the EC IST EMANICS Network of Excellence (#26854).  ... 
doi:10.1109/inm.2009.5188808 dblp:conf/im/BandaraKLR09 fatcat:iye5ekxhevd5hihairewlztto4

Rule-Based Translation of Application-Level QoS Constraints into SDN Configurations for the IoT [article]

Jan Seeger, Arne Bröring, Marc-Oliver Pahl, Ermin Sakic
2019 arXiv   pre-print
In this paper, we propose an approach for the automated translation of application-level requirements regarding the logical workflow and its QoS into a configuration of the underlying network substrate  ...  The second model captures the configuration of a network and can be used as input to a north-bound interface of an SDN controller.  ...  On the left side of Fig. 1 , the model to define abstract IoT compositions as recipes is shown. This model is based on our previous work [4] , [18] .  ... 
arXiv:1903.09408v1 fatcat:gbrgzyvgzbaylckpqivnfv445e

Research on Automated Deployment Method of Smart Grid Spatio-temporal Information Service Platform Based on Cloud Computing

Ji-ye WANG, Nan ZENG, Cheng-yue YANG, Guang ZHAO
2018 DEStech Transactions on Environment Energy and Earth Science  
At the same time, automation management, that is, the completion of automated deployment, monitoring and dynamic application migration design, effectively help GIS operation and maintenance managers to  ...  The Smart Grid Spatio-temporal Information Service Platform (SG-SISP) Based on Cloud Computing has broken the traditional centralized deployment mode of information system, integrated various computing  ...  With the cloud platform of GIS (Geographic Information System), the resources in the system can be effectively integrated.  ... 
doi:10.12783/dteees/icpeee2018/23322 fatcat:k75r65jypnehzl24djiqaisftq

Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL [chapter]

Daniel Elenius, David Martin, Reginald Ford, Grit Denker
2009 Lecture Notes in Computer Science  
We describe our approach to facilitating such events: describe the systems and requirements in great detail using ontologies, and use automated reasoning to automatically find and help resolve problems  ...  The complexity of our problem took us to the limits of what one can do with owl, and we needed to introduce some innovative techniques of using and extending it.  ...  We have in effect extended the owl language.  ... 
doi:10.1007/978-3-642-04930-9_50 fatcat:7in6pu5h5zhgxmenymjf6lvjlm

Forthcoming papers

1998 Artificial Intelligence  
We primarily focus on actions in the form of a classification. Based on the framework we derive several analytical and empirical results that shed light on MBR algorithms.  ...  In this paper, we propose a probabilistic framework for memory-based reasoning (MBR).  ...  The program is based on qualitative configuration space (qc-space), a novel representation that captures mechanical behavior while abstracting away its implementation.  ... 
doi:10.1016/s0004-3702(98)90007-8 fatcat:kq2flquj35g4varimqe53txfym

Foundations and Tools for the Static Analysis of Ethereum Smart Contracts [chapter]

Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018 Lecture Notes in Computer Science  
The recent growth of the blockchain technology market puts its main cryptocurrencies in the spotlight.  ...  We will then focus on EtherTrust [1], a framework for the static analysis of Ethereum smart contracts which includes the first complete small-step semantics of EVM bytecode, the first formal characterization  ...  These consist of (instances of) state predicates that represent partial abstract configurations. Accordingly, abstract configurations are sets of facts not containing any variables as arguments.  ... 
doi:10.1007/978-3-319-96145-3_4 fatcat:2zoadm5v7ja3xnyfl26hkfz6pm

Static extraction of program configuration options

Ariel Rabkin, Randy Katz
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
Our analysis finds 95% of the options read by the programs in our sample, making it more complete than existing documentation. Most configuration options we saw fall into a small number of types.  ...  Together, these analyses enable more visibility into program configuration, helping reduce the burden of configuration documentation and configuration debugging.  ...  We thank the anonymous reviewers for their input.  ... 
doi:10.1145/1985793.1985812 dblp:conf/icse/RabkinK11 fatcat:dqsi3pfllreh3dnzdgbxj2p5hm

Competitive Agents for Intelligent Home Automation

Timo Michalski, Marian Pohling, Patrick Holthaus
2017 Proceedings of the 5th International Conference on Human Agent Interaction - HAI '17  
To maximize automation efficiency while keeping the configuration simple and the effects comprehensible, we thus explore an alternative agent-based approach.  ...  With the help of a survey, we put together a set of intelligent agents that act autonomously in the environment.  ...  Since in most cases hardware devices must be configured directly, such systems require prior knowledge to create automation rules that effectively exploit features of the environment.  ... 
doi:10.1145/3125739.3132616 dblp:conf/hai/MichalskiPH17 fatcat:57dleyttkzagjhhihuf27dsa5u

Argument-based airworthiness assurance of small UAS

Ewen Denney, Ganesh Pai
2015 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)  
Central to our approach is the notion of structured argument, i.e., an explicit chain of reasoning linking safety substantiating evidence to the overall safety and airworthiness objectives.  ...  Our use of argumentation is motivated, in part, by the observations that: i) certain kinds of UAS operations currently require a safety case; ii) structured arguments are often a core component of modern  ...  Acknowledgements This work was supported by NASA ARMD through the UAS Integration in the NAS project of the Integrated Systems Research program.  ... 
doi:10.1109/dasc.2015.7311605 fatcat:arfw7lwanzegdgxes7eilqcuia
« Previous Showing results 1 — 15 out of 29,961 results