Computer and information sciences topic list of research papers
-
Concern-Specific Languages in a Visual Web Service Creation Environment
Abstract This paper presents a high-level, visual Service Creation Environment (SCE) for web services. The SCE introduces two main concepts: services and composition templates. Composition templates are abstract descriptions of reusable compositions ...
2007 / Mathieu Braem, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Viviane Jonckers -
Axiomatic Description of Mixed States From Selinger's CPM-construction
Abstract We recast Selinger's CPM-construction of mixed states completely positive maps [P. Selinger (2007) Dagger compact closed categories and completely positive maps. In: Proceedings of the 3rd International Workshop on Quantum Programming...
2008 / Bob Coecke -
The HiVe Writer
Abstract Critical systems require assurance that key security, safety or mission requirements are met. Tools are necessary to provide this assurance. The HiVe Writer supports model-based documentation for complex critical systems. The HiVe Writer...
2008 / Tony Cant, Ben Long, Jim McCarthy, Brendan Mahony, Kylie Williams -
Preface2008 / Barbara König, Arend Rensink, Reiko Heckel
-
On Hill et al's conjecture for calculating the subtree prune and regraft distance between phylogenies2010 / Simone Linz
-
A perspective for biomedical data integration: Design of databases for flow cytometry2008 / John Drakos, Marina Karakantza, Nicholas C Zoumbos, John Lakoumentas, George C Nikiforidis, et al.
-
Two-Step Time of Arrival Estimation for Pulse-Based Ultra-Wideband Systems2008 / Sinan Gezici, Zafer Sahinoglu, Andreas F Molisch, Hisashi Kobayashi, H Poor
-
Modeling Several Multistage Interconnection Networks with Unified Cayley Formulation
Abstract With the semi-direct product of two groups, several schemes for designing interconnection networks with constant degree are unified under a general framework in this paper theoretically. A new family of Cayley graph, called CSC(q, p, l, k)...
2011 / Chenggui Zhao, Xiaoming Zhao, XinHuan Wu -
Effectiveness Evaluation of Construction Enterprise Information Systems Planning Based on Unascertained Number
Abstract This paper starts from the uncertainty information contained in the construction enterprise information system planning. It analyzes the uncertainties of the effectiveness of construction enterprise information planning and proposes an...
2011 / Ma Lihu, Yan Huizhe, Zhang Yanni -
Design principles of m-learning for ESL
Abstract The purpose of this study is to draw out design principles of m-learning for ESL. For this purpose, we have reviewed some literature, developed prototypes with the collaboration of two English education experts, four instructional...
2010 / Sungho Kwon, Jeong Eun Lee -
Applying information and communication technology in counselling practice
Abstract The study has empirically established that Information and Communication Technology {ICT} as one of the new trends in Educational Sciences could be applied in counselling practice in Anambra State of Nigeria. Results of the study revealed...
2009 / Ngozi M. Oraegbunam -
One-dimensional staged self-assembly2012 / Erik D. Demaine, Sarah Eisenstat, Mashhood Ishaque, Andrew Winslow
-
Using MBSE to Enhance System Design Decision Making
Abstract When developing new systems, developers are challenged with tracing requirements to system design elements and helping decision makers choose between designs options that implement these requirements; options which may have vastly different ...
2012 / Mike Russell -
Special Issue on “Mobile Ad-Hoc Wireless Networks”2011 / Tarek Nazir Saadawi, Hussein Mouftah
-
New results and applications for multi-secret sharing schemes2013 / Javier Herranz, Alexandre Ruiz, Germán Sáez
-
Weighted Scatter-Difference-Based Two DimensionalDiscriminant Analysis for Face Recognition2012 / Hythem Ahmed
-
Synchronous consensus under hybrid process and link failures
Abstract We introduce a comprehensive hybrid failure model for synchronous distributed systems, which extends a conventional hybrid process failure model by adding communication failures: Every process in the system is allowed to commit up to ...
2010 / Martin Biely, Ulrich Schmid, Bettina Weiss -
Multiobjective Harmony Search Algorithm Proposals
Abstract Harmony Search metaheuristic is successfully used in several applications of science and engineering. However, its effectiveness in solving multiobjective optimization problems using the concepts of Pareto optimality, remains unproved. This ...
2011 / Juan Ricart, Germán Hüttemann, Joaquín Lima, Benjamín Barán -
Bare canonicity of representable cylindric and polyadic algebras
Abstract We show that for finite n ⩾ 3 , every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free ...
2013 / Jannis Bulian, Ian Hodkinson -
Hypergraph Grammars in hp-adaptive Finite Element Method
Abstract The paper presents the hypergraph grammar for modelling the hp-adaptive finite element method algorithm with rectangular elements. The finite element mesh is represented by a hypergraph. All mesh transformations are modelled by means of...
2013 / Grażyna Ślusarczyk, Anna Paszyńska