1,005 Hits in 4.0 sec

REDIR: Automated static detection of obfuscated anti-debugging techniques

Adam J. Smith, Robert F. Mills, Adam R. Bryant, Gilbert L. Peterson, Michael R. Grimaila
2014 2014 International Conference on Collaboration Technologies and Systems (CTS)  
The Rule Engine Detection by Intermediate Representation (REDIR) system for automated static detection of obfuscated anti-debugging techniques is a prototype designed to help the RCE analyst improve performance  ...  Next, an Expert System (ES) ruleengine searches the IR and initiates a sensemaking process for anti-debugging technique detection.  ...  Methodology Summary The purpose of this chapter was to introduce the REDIR system and the methodology behind its implementation. First, its design, development and implementation details were given.  ... 
doi:10.1109/cts.2014.6867561 dblp:conf/cts/SmithMBPG14 fatcat:w5mvvrx4zbcjjkeben2xwzfm7i

The Doctoral Symposium at MODELS 2009 [chapter]

Juergen Dingel
2010 Lecture Notes in Computer Science  
Consideration of different language and instantiation paradigms, e.g. the design and use of DSLs with ontological or linguistic instantiations and the design and use of non-instantiable DSLs at the M2'  ...  Designing Domain-Specific Languages The DSL designer is able to define an integrated model that consists of abstract instances conforming to the KM3 part in the integrated metamodel and -to the extent  ...  The use of model-integrated techniques for specifying and implementing guidelines as coordinated asynchronous processes is a promising new methodology for tackling the above mentioned two problems and  ... 
doi:10.1007/978-3-642-12261-3_1 fatcat:5sjnbavhwje7lphkdlznmg5kpi

The Agile Development of Rule Bases [chapter]

Valentin Zacharias
2008 Information Systems Development  
The main contribution of this paper is three development principles for and changes to the Extreme Programming development process to make it suitable for the development of rule-based systems.  ...  Existing methodologies fail to address the challenges posed by modern development processes in these areas, namely, the increasing number of end-user programmers and the increasing interest in iterative  ...  Debugging support must be available for the cases where the results do not match the user's expectations.  ... 
doi:10.1007/978-0-387-68772-8_8 dblp:conf/isdevel/Zacharias07 fatcat:vd6lnwhkevcj3fhfmdxkwmen4u

OntoEdit: Guiding Ontology Development by Methodology and Inferencing [chapter]

York Sure, Juergen Angele, Steffen Staab
2002 Lecture Notes in Computer Science  
The terms are used for concise communication across people and applications. OntoEdit is an ontology editor that has been developed keeping five main objectives in mind: 1. Ease of use. 2.  ...  Methodology-guided development of ontologies. 3. Ontology development with help of inferencing. 4. Development of ontology axioms. 5. Extensibility through plug-in structure.  ...  Together they initiated the development of OntoEdit, which is now being continued by the constant efforts of Dirk.  ... 
doi:10.1007/3-540-36124-3_76 fatcat:2tuphfkz25ddxllcxaw4vrdhdu

Completing and Debugging Ontologies: state of the art and challenges [article]

Patrick Lambrix
2020 arXiv   pre-print
A key step is ontology debugging and completion. In general, there are two steps: detecting defects and repairing defects. In this paper we discuss the state of the art regarding the repairing step.  ...  As semantically-enabled applications require high-quality ontologies, developing and maintaining ontologies that are as correct and complete as possible is an important although difficult task in ontology  ...  Acknowledgements We thank the anonymous referees for comments that have led to improvements of the paper as well as Mina Abd Nikooie Pour, Ying Li and Chunyan Wang for proofreading and checking the examples  ... 
arXiv:1908.03171v2 fatcat:mztcxefbqndebd6cvj5wgz2de4

Integrating semantic and fuzzy dimensions into electronic medical records: Case of cerebral palsy information system

Hanen Ghorbel, Sirine Farjallah
2018 Journal of Hospital Administration  
Fuzzy SemanticOpenEHR intends to help and equip the designer during the different phases of creating a fuzzy ontology.  ...  of the semantic dimension into EMRS considered to enable the execution of semantic activities in the semantic web environment; and (3) integration of the fuzzy dimension into electronic medical record  ...  ACKNOWLEDGEMENTS We would like to thank Professor Chahinez Triki, specialists in the Neurology Department in Hedi-Chaker-Sfax-Tunisia University Hospital for her valuable intervention in the process modeling  ... 
doi:10.5430/jha.v7n4p60 fatcat:72x7lwhsmjguxj3ld3h73zr4v4

BigDataGrapes D3.4 - Linguistic Pipelines for Semantic Enrichment

Yankova; Milena, Vladimir Alexiev, Todor Primov, Nikola Rusinov
2018 Zenodo  
It will describe the progress on the design of advanced text analytics pipelines aiming to extract and semantically annotate information from unstructured textual data sources from the Big Data Grapes  ...  the approach to building, extending and enlarging the model with new facts and new provenance sources.  ...  By the term ontology language layer, we mean the set of theoretical modelling primitives that every ontology language can be decomposed into: • The data model determines the mathematical data-structure  ... 
doi:10.5281/zenodo.2449668 fatcat:frfozdrkfrcpvhahmb3ygbtsne

KaBOB: ontology-based semantic integration of biomedical databases

Kevin M Livingston, Michael Bada, William A Baumgartner, Lawrence E Hunter
2015 BMC Bioinformatics  
The ability to query many independent biological databases using a common ontology-based semantic model would facilitate deeper integration and more effective utilization of these diverse and rapidly growing  ...  using declaratively represented forward-chaining rules to take information that is variably represented in source databases and integrating it into a consistent biomedical representation.  ...  Early versions of this work were developed in parallel using the bigdata triplestore, and we appreciate the software and support that they provided for the project.  ... 
doi:10.1186/s12859-015-0559-3 pmid:25903923 pmcid:PMC4448321 fatcat:45ts7uz6nzevdgwsfbmwd6wjmm

Solving Ontology Meta-Matching Problem Through An Evolutionary Algorithm with Approximate Evaluation Indicators And Adaptive Selection Pressure

Qing Lv, Chengcai Jiang, He Li
2020 IEEE Access  
Evolutionary Algorithm (EA) can represent an efficient methodology to address the ontology meta-matching problem, but EA-based ontology matching techniques suffer from the premature convergence and the  ...  As an effective method, ontology matching can address the problem above, whose core technique is the similarity measure.  ...  In the ontology meta-matching problem, there are many extreme values, and it's easy to these local optimal solutions.  ... 
doi:10.1109/access.2020.3047875 fatcat:tnoonr2rojburhvkmb2ukaiyqa

From Simulated to Real Environments: How to Use SeSAm for Software Development [chapter]

Franziska Klügl, Rainer Herrler, Christoph Oechslein
2003 Lecture Notes in Computer Science  
Therefore we present the integrated environment SeSAm and recent extensions, that allow creating simulated environments for agent based software as well as actually developing and deploying software agents  ...  In this paper we want to show the possibilities to use agentbased modeling and simulation for software development.  ...  The authors would like to thank Alexander Huber and his students from the TU Erlangen for their implementation of the database interface.  ... 
doi:10.1007/978-3-540-39869-1_2 fatcat:zk6o7yayprgqpghl3xhfbeieye

OntoEdit: Multifaceted Inferencing for Ontology Engineering [chapter]

York Sure, Juergen Angele, Steffen Staab
2003 Lecture Notes in Computer Science  
The terms are used for concise communication across people and applications. Tools such as ontology editors facilitate the creation and maintenance of ontologies.  ...  OntoEdit is an ontology editor that has been developed keeping five main objectives in mind: 1. Ease of use. 2. Methodology-guided development of ontologies. 3.  ...  Research for this paper was partially funded by EU in the project IST-1999-10132 "On-To-Knowledge" and in the thematic network IST-2000-29243 "OntoWeb".  ... 
doi:10.1007/978-3-540-39733-5_6 fatcat:q5tl7lptvfaqnmdjbcgk7g6ppi

POEM: Practical ontology engineering model for semantic web ontologies

Shaukat Ali, Shah Khusro, Hsien-Tsung Chang
2016 Cogent Engineering  
POEM presents a complete methodology comprising of various phases for performing conceptualization, designing, implementation, evaluation, and project management tasks.  ...  A few of the methodologies are also proposed specifically for web-specific ontology engineering, but they are very shallow and superficial and could not handle the technical, development, and management  ...  Acknowledgment This research work has been undertaken by the first author as a partial fulfillment of PhD degree with support of the Higher Education Commission (HEC) of Pakistan.  ... 
doi:10.1080/23311916.2016.1193959 fatcat:wj27mkwrk5d25a7jchhsz6pndy

Debugging and Testing of Multi-Agent Systems using Design Artefacts [chapter]

David Poutakidis, Michael Winikoff†, Lin Padgham, Zhiyong Zhang
2009 Multi-Agent Programming  
Both tools are based on the thesis that design artefacts can be valuable resources in testing and debugging.  ...  An empirical evaluation that was performed with the debugging tool showed that the debugging tool was useful to developers, providing a significant improvement in the number of bugs that were fixed, and  ...  Acknowledgements We would like to thank John Thangarajah for discussions relating to the testing tool, and co-supervision of the PhD work on this topic.  ... 
doi:10.1007/978-0-387-89299-3_7 fatcat:5olc6y6krzdzpiqggnu5a77yxe

Methodologies for the development of knowledge-based systems, 1982–2002

2003 Knowledge engineering review (Print)  
The last decade, however, has seen an increased effort to produce methodologies to counter this view as well as continued research into validation and verification techniques.  ...  Methodologies are considered and are discussed in light of two sets of quality assurance criteria. * The second author is supported in part by the AFOSR (F49620-98-1-0217) and the NSF (CCR-9988320).  ...  However, the formal models are extremely powerful as they are specifically designed for complex KBSs and with effort they can be incorporated into other standards.  ... 
doi:10.1017/s026988890300064x fatcat:bpcexfurzjb2tlrr6yrl2ekouq

Complex Event Processing for City Officers: A Filter and Pipe Visual Approach

Dario Bonino, Luigi De Russis
2018 IEEE Internet of Things Journal  
ACKNOWLEDGMENT The research leading to these results has received funding from the European Community's Seventh Framework Programme (FP7/2007-2013) under grant agreement n.609081.  ...  procedure we designed and integrated in the NodeRED visual interface.  ...  WORKFLOW OVERVIEW To fully support the design of processing pipelines based on the ALMANAC DFL language and to address their deployment in smart cities, a clear methodology and workflow shall be defined  ... 
doi:10.1109/jiot.2017.2728089 fatcat:nv5cgrpvvbdeto5ylnvqr4w7ma
« Previous Showing results 1 — 15 out of 1,005 results