Computer and information sciences topic list of research papers
-
A study of determination of pre-service chemistry teachers’ understanding about acids and bases
Abstract It is very important that determining students cognitive structures for acquiring meaningful learning. The main purpose of this study to determine pre-service chemistry teachers’ cognitive structures relating to acid-base with word...
2011 / Gülten Şendur, Özge Özbayrak, Melis Arzu Uyulgan -
Surveying and Analyzing Security, Privacy and Trust Issues in Cloud Computing Environments
Abstract Cloud computing is still in its infancy in spite of gaining tremendous momentum recently, high security is one of the major obstacles for opening up the new era of the long dreamed vision of computing as a utility. As the sensitive...
2011 / Dawei Sun, Guiran Chang, Lina Sun, Xingwei Wang -
Generating Code and Memory Buffers to Reorganize Data on Many-core Architectures
Abstract The dataflow programming model has shown to be a relevant approach to efficiently run massively parallel applications over many-core architectures. In this model, some particular builtin agents are in charge of data reorganizations between...
2014 / Loïc Cudennec, Paul Dubrulle, François Galea, Thierry Goubier, Renaud Sirdey -
Graph Grammar based Multi-thread Multi-frontal Direct Solver with Galois Scheduler
Abstract In this paper, we present a multi-frontal solver algorithm for the adaptive finite element method expressed by graph grammar productions. The graph grammar productions construct first the binary elimination tree, and then process frontal...
2014 / Damian Goik, Konrad Jopek, Maciej Paszyński, Andrew Lenharth, Donald Nguyen, et al. -
How to build a faster private information retrieval protocol?2014 / Wei Zhang, Shuguang Liu, Weidong Zhong, Xiaoyuan Yang
-
Deploying a LEACH Data Aggregation Technique for Air Quality Monitoring in Wireless Sensor Network
Abstract The aim of this paper is to develop an effective aggregation technique for wireless sensor networks that is mainly designed to suit air quality monitoring application. The solution is based on LEACH by Heinzelman et al.; a well known data...
2014 / Hanady M. Abdulsalam, Bader A. Ali, Anwar AlYatama, Eman S. AlRoumi -
Summarizing Dynamic Bipolar Conflict Structures2006 / U. Brandes, D. Fleischer, J. Lerner
-
Small Edge Dominating Sets of Regular Graphs
Abstract An edge dominating set F of a graph G is a subset of E(G) such that every edge in E(G)⧹F is incident with at least one vertex that is an end-point of ...
2004 / W. Duckworth -
A User Interface for a Mathematical System that Allows Ambiguous Formulae
Abstract Mathematical systems that understand the usual ambiguous mathematical notation need well thought out user interfaces 1) to provide feedback on the way formulae are automatically interpreted, when a single best interpretation exists; 2) to...
2009 / Claudio Sacerdoti Coen -
Predicate Diagrams for the Verification of Real-Time Systems
Abstract We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed automata and constructs for modeling data, possibly over...
2006 / Eun-Young Kang, Stephan Merz -
Verification of Web Services with Timed Automata
Abstract In this paper we show how we can use formal methods for describing and analyzing the behavior of Web Services, and more specifically those including time restrictions. Then, our starting point are Web Services descriptions written in WSCI – ...
2006 / Gregorio Diaz, Juan-José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero -
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events
Abstract Nowadays, model-based test approaches are indispensable for the quality assurance of in-vehicle control software. In practice, the Classification-Tree Method for Embedded Systems (CTMEMB) is used to realize a compact graphical...
2006 / Mirko Conrad, Alexander Krupp -
Visual Specification of Metrics for Domain Specific Visual Languages
Abstract We present a Domain Specific Visual Language (DSVL) for the definition of metrics for other DSVLs. The metrics language has been defined using meta-modelling, and includes some of the more used types of product metrics. The goal is to make...
2008 / Esther Guerra, Paloma Díaz, Juan de Lara -
Preface2009 / Eric Goubault
-
What is algebraic in process theory?
Abstract Process theory started in the 1970's with an emphasis on giving an algebraic treatment of its fundamental concepts. In the 1990's, with the rapid introduction of advanced features (data, time, mobility, probability, stochastics), the...
2006 / Bas Luttik -
Towards Context Independent Extra-functional Properties Descriptor for Components
Abstract Architectures based on composing target application functionality from pre-existing components have been successfully used in many projects, yet there are several aspects in which they fail to reach the desirable level of maturity. Since...
2010 / Kamil Ježek, Přemek Brada, Petr Štěpán -
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
Abstract This paper sketches a foundation for programming with higher-order abstract syntax and explicit substitutions based on contextual modal type theory [Aleksandar Nanevski, Frank Pfenning, and Brigitte Pientka. Contextual modal type theory....
2007 / Brigitte Pientka -
Reverse logistics and closed-loop supply chain: A comprehensive review to explore the future
Abstract Based on environmental, legal, social, and economic factors, reverse logistics and closed-loop supply chain issues have attracted attention among both academia and practitioners. This attention is evident by the vast number of publications...
2014 / Kannan Govindan, Hamed Soleimani, Devika Kannan -
Critical Factors on Information Technology Acceptance and Use: An Analysis on Small and Medium Brazilian Clothing Industries
Abstract The increasing business competitiveness leads industries to differentiate themselves in terms of technology. The insertion of information systems in their structures figure as an element of competitive leverage and operational and financial ...
2014 / Rafael Alexandre dos Reis, Maria do Carmo Duarte Freitas -
Preference-based Fair Resource Sharing and Scheduling Optimization in Grid VOs
Abstract In this paper, we deal with problems of efficient resource management and scheduling in utility Grids. There are global job flows from external users along with resource owners’ local tasks upon resource non-dedication condition....
2014 / Victor Toporkov, Anna Toporkova, Alexey Tselishchev, Dmitry Yemelyanov, Petr Potekhin