441,978 Hits in 4.4 sec

Modeling Requirements for Value Configuration Design [chapter]

Eng Chew, Igor Hawryszkiewycz, Michael Soanes
2008 Lecture Notes in Computer Science  
The PARM framework is proposed as the requirement to address breadth and depth complexity through the independent but integrated operation of the process, activity, resource and management viewpoints.  ...  The PARM framework solution is an extension and integration of existing modeling constructs rather than a solution in its own right.  ...  Consequently procedural logic is a more describable technique for the predictable activity flow for structured processes.  ... 
doi:10.1007/978-3-540-78238-4_18 fatcat:pp3ba4odrrdy5kjldg76uv4bx4

Design of fuzzy logic controller for a non-linear system

S. Amuthameena, S. Monisa
2017 2017 IEEE International Conference on Electrical, Instrumentation and Communication Engineering (ICEICE)  
In addition, a traffic activity control framework is projected and assessed utilizing MATLAB.  ...  This paper depicts a design of Fuzzy Logic Controller for a traffic control system. Finest signal settings can be fixed while fares of the trip and system flow are in balance.  ...  Knowledge base Definition: A fuzzy rule is built to direct the output variable in a fuzzy logic control framework. A fuzzy rule is a basic IF-THEN rule with a clause and termination.  ... 
doi:10.1109/iceice.2017.8191844 fatcat:eszraygxr5bs5fzggvcn6pei54

The context aware workflow execution framework

Liliana Ardissono, Roberto Furnari, Anna Goy, Giovanna Petrone, Marino Segnan
2012 International Journal of Autonomous and Adaptive Communications Systems  
This paper also briefly presents a prototype application developed by exploiting the CAWE framework.  ...  the context aware management of the business, interaction and presentation logics.  ...  "WF10" Rule 2: package: business-logic precondition: abstract-activity-name==BookBloodTest and !  ... 
doi:10.1504/ijaacs.2012.044784 fatcat:6cx7bd3f5jdc7biki334smvn3q

Experimental development based on mapping rule between requirements analysis model and web framework specific design model

Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura
2013 SpringerPlus  
We proposes a mapping rule in which design information independent of each web application framework implementation is defined based on the requirements analysis model, so as to improve the traceability  ...  The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page  ...  An objective word of the action description is a hint for allocating to an entity class. A process flow also has several logical exception s handling in accordance with the business rules.  ... 
doi:10.1186/2193-1801-2-123 pmid:23565356 pmcid:PMC3615163 fatcat:bik5otjwm5agnafcms7mxlom4u

A Logical Framework for Modelling eMAS [chapter]

Pierangelo Dell'Acqua, Luís Moniz Pereira
2002 Lecture Notes in Computer Science  
We introduce a logical framework F suitable for representing organizational structures for epistemic agents, and provide its declarative and procedural semantics.  ...  We show how a number of organizational structures can be represented in F and discuss their properties.  ...  Rather, there is a need for concepts like "organizational rules", "social laws" and "active environments".  ... 
doi:10.1007/3-540-36388-2_17 fatcat:3chipb6d5fffxco5xvnk5yg574

A Multi-agent Coordination Framework for Smart Building Energy Management

Thanos G. Stavropoulos, Emmanouil S. Rigas, Efstratios Kontopoulos, Nick Bassiliades, Ioannis Vlahavas
2014 2014 25th International Workshop on Database and Expert Systems Applications  
This paper presents a novel energy management framework for multi-agent coordination in smart buildings.  ...  Each agent within the framework is responsible for monitoring the environmental context and controlling the electrical appliances of a specific room.  ...  ACKNOWLEDGMENT The authors would like to thank Konstantinos Gottis, John Argyriou, George Pilikidis, Thodoris Tsompanidis and Andrea Dimitri for their work in various parts of system integration.  ... 
doi:10.1109/dexa.2014.39 dblp:conf/dexaw/StavropoulosRKBV14 fatcat:5hhcr4rcfvh4xg3pbg6cwcrblm

Fuzzy-Logic Inference for Early Detection of Sleep Onset in Car Driver [chapter]

Mario Malcangi, Salvatore Smirne
2012 Communications in Computer and Information Science  
Sleep is a physiological state characterized by variations in the activity of the autonomic nervous system that is reflected in heart rate and its variability (HRV).  ...  The low-to-high frequency ratio is a valid indicator of such change because it reflects the balancing action of the sympathetic nervous system and parasympathetic nervous system branches of the autonomic  ...  A set of rules has been defined and tuned manually to achieve the best performance for the decision logic. System framework (cont.)  ... 
doi:10.1007/978-3-642-32909-8_5 fatcat:3ssoaeitdjcqrksjkq5wqkjbei

Modularisation of Sequent Calculi for Normal and Non-normal Modalities [article]

Björn Lellmann, Elaine Pimentel
2017 arXiv   pre-print
By proposing local versions to ordinary sequent rules we obtain linear nested sequent calculi for a number of logics, including to our knowledge the first nested sequent calculi for a large class of simply  ...  dependent multimodal logics, and for many standard non-normal modal logics.  ...  We thank the anonymous reviewers for their valuable comments on an earlier draft of this paper.  ... 
arXiv:1702.08193v2 fatcat:axenvawjrfhtzmphlp5clbhdcq

Formalizing the specification and execution of workflows using the event calculus

2006 Information Sciences  
set of rules for the execution dependencies of activities.  ...  The proposed framework for a workflow manager maintains a history of events to control the execution of activities.  ...  The most common frameworks for specifying workflows are graph-based, event-condition-action rules, and logic-based methods.  ... 
doi:10.1016/j.ins.2005.10.007 fatcat:dyhygmspbbb2xdf4bjjnshop6u

A Methodological Evaluation of Business Process Compliance Management Frameworks [chapter]

Mustafa Hashmi, Guido Governatori
2013 Lecture Notes in Business Information Processing  
Existing compliance management frameworks (CMFs) offer a multitude of compliance management capabilities that makes difficult for enterprises to decide on the suitability of a framework.  ...  Making a decision on the suitability requires a deep understanding of the functionalities of a framework.  ...  Whereas a No is returned to indicate rule violations when no activity in the execution trace satisfies the rules.  ... 
doi:10.1007/978-3-319-02922-1_8 fatcat:q5wyxmx2gnhdpolzcntnvcn26i

Predicate logic based image grammars for complex pattern recognition

Vinay Shet, Maneesh Singh, Claus Bahlmann, Visvanathan Ramesh
2009 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops  
In this work we have also proposed a method to automatically optimize weights associated with these logical rules.  ...  Performing inference in such a framework is also, typically, computationally efficient.  ...  In this work we have also proposed a method to automatically optimize weights associated with these logical rules.  ... 
doi:10.1109/cvprw.2009.5204328 dblp:conf/cvpr/ShetSBR09 fatcat:vn4ujyqn55glrilwnlvhonaoqu

Predicate Logic Based Image Grammars for Complex Pattern Recognition

Vinay Shet, Maneesh Singh, Claus Bahlmann, Visvanathan Ramesh, Jan Neumann, Larry Davis
2010 International Journal of Computer Vision  
In this work we have also proposed a method to automatically optimize weights associated with these logical rules.  ...  Performing inference in such a framework is also, typically, computationally efficient.  ...  In this work we have also proposed a method to automatically optimize weights associated with these logical rules.  ... 
doi:10.1007/s11263-010-0343-9 fatcat:drposb7llzampag5jnkqgslqjm

Arguing Ecosystem Values with Paraconsistent Logics [article]

Juan Afanador
2019 arXiv   pre-print
This framework accounts for preference formation processes underpinned by a paraconsistent model of logical entailment.  ...  Here, I propose an approach to the valuation of ecosystem services circumscribed to a logic-based argumentation framework that caters for valid inconsistencies.  ...  L 1 a (4) The Proponent wins Table 5 : 5 Global Rules for a Formal Dialogue [Cle14] Table 6 : 6 Local Rules for a Formal Dialogue [Cle14] The symbol " →" is used to represent the mapping  ... 
arXiv:1911.06367v1 fatcat:x4paoeois5edtfwlte6swi5mri

A Defeasible Logic-based Framework for Contextualizing Deployed Applications

Noor Sami Al-Anbaki, Nadim Obeid, Khair Eddin
2019 International Journal of Advanced Computer Science and Applications  
In this paper, a defeasible logic-based framework for contextawareness is proposed that can enhance the functionality of any deployed application.  ...  Active concerns that are triggered at certain contexts are encapsulated in separate defeasible theories. A proof theory is defined along with a study of its formal properties.  ...  The framework is used to generate preference sets for users, which is a set of active rules for each user.  ... 
doi:10.14569/ijacsa.2019.0100923 fatcat:zijugmqr75e2zp72nxhhgbboou

Ontological Foundations of Modelling Security Policies for Logical Analytics [chapter]

Karolina Bataityte, Vassil Vassilev, Olivia Jo Gill
2020 IFIP Advances in Information and Communication Technology  
Our framework has potential use for analysis of a wide range of transactional systems within the financial, commercial and business domains and further work will include analytical level where we can perform  ...  In this paper we present the foundations of a new formal framework to address these challenges. Our approach is based on three-level formalisation: ontological, logical and analytical levels.  ...  We outlined a multi-level framework for representing the ontology and modelling the security policies which enables analysing of some logical problems such as vulnerability analysis and risk assessment  ... 
doi:10.1007/978-3-030-49161-1_31 fatcat:lfanp6vfdnbszdoxrt7dyt2bku
« Previous Showing results 1 — 15 out of 441,978 results