Computer and information sciences topic list of research papers
-
Perfect Hamming code with a hash table for faster genome mapping2011 / Yoichi Takenaka, Shigeto Seno, Hideo Matsuda
-
EigenTrust-based non-cooperative game model assisting ACO look-ahead secure routing against selfishness2014 / Surendran Subbaraj, Prakash Savarimuthu
-
An approach towards adaptive service composition in markets of composed services2015 / Alexander Jungmann, Felix Mohr
-
Model-driven engineering of information systems: 10 years and 1000 versions
Abstract This paper reports upon ten years of experience in the development and application of model-driven technology. The technology in question was inspired by work on formal methods: in particular, by the B toolkit. It was used in the...
2013 / Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton -
An overview of the CellML API and its implementation2010 / Andrew K Miller, Justin Marsh, Adam Reeve, Alan Garny, Randall Britten, et al.
-
Model-Based Method to Codesign of Control, Computing, and Communications with Resource Constraints
Abstract To optimize the overall quality of control (QoC) of networked control systems (NCSs), it is necessary to adopt the codesign from the control, computing, and communication perspectives. By analyzing related problems and method formulation,...
2011 / Jiafu Wan, Hehua Yan, Hui Suo, Caifeng Zou -
The Work Disability Prevention CIHR Strategic Training Program: Program Performance After 5 Years of Implementation2009 / Patrick Loisel, Quan Nha Hong, Daniel Imbeau, Katherine Lippel, Jaime Guzman, et al.
-
Foresight 2.0 - Definition, overview & evaluation2013 / Jörg Schatzmann, René Schäfer, Frederik Eichelbaum
-
Meta-Heuristics in Multi-Core Environments
Abstract CPU manufactures have been adding more cores to CPU's instead of only focusing on increasing the speed. There are many interesting questions regarding implementation and performance of algorithms using the new CPU's. We look at three well...
2011 / Ragnar Magnús Ragnarsson, Hlynur Stefánsson, Eyjólfur Ingi Ásgeirsson -
Towards Building Semantic Next Generation Network – A Preliminary Study
Abstract Next Generation Network has drawn great attention by the researchers and telecommunication industries as the future generation in the communication technologies and services. The interest covers all aspects on NGN from the global standards, ...
2011 / Kidd S.C. Toh, S.M.F.D. Syed Mustapha -
An Analysis Of How The Participatory Culture Through The Internet Is Fostered In Policies Directed Towards Non-Formal Educational Contexts
Abstract The work we present here is part of the analyses we carried out within the framework of the thesis project: Analysis of the didactic model of the Museos Vivos project: a case study in new media literacy. At its core, Museos Vivos (Living...
2011 / Margarita Silvestra León, José Miguel Correa, Jesús María Aramberri, Estibaliz Jiménez de Aberasturi -
A Strategic Model of Virtual University
Abstract Human being has been facing various Millennium challenges. One of the fundamental changes that the world is now facing is globalization, communication and information technology. That affects different fields of political, social and...
2011 / Somaye Shahtalebi, Badri Shatalebi, Fakhri Shatalebi -
The Application used RFID in Third Party Logistics*
Abstract RFID is a non-contact automatic identification technology, which will be the future information storage extraction and processing technology. In recent years the mainstream of the large-scale development has manifested the situation. RFID...
2012 / Zheng Mingxiu, Fu Chunchang, Yang Minggen -
Research of Real-time Data Warehouse Storage Strategy Based on Multi-level Caches
Abstract Real-time data warehouse extend the application of traditional data warehouse. It can not only support tactical queries for enterprise but also provide much variable tactical decision support effectively. For these reasons, it is very...
2012 / Shao YiChuan, Xingjia Yao -
Putting Web Services in Context
Abstract When considering the full range of Web service-related activities, it becomes clear that dealing with context is a major challenge, requiring greater expressiveness, reasoning capabilities, and architectural components than are provided by...
2006 / David Martin -
Preface2005 / Ruy de Queiroz, Angus Macintyre, Guilherme Bittencourt
-
Component Substitutability via Equivalencies of Component-Interaction Automata
Abstract We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any system where its implementation satisfies the specification...
2007 / Ivana Černá, Pavlína Vařeková, Barbora Zimmerova -
Modeling A Certified Email Protocol using I/O Automata2004 / C. Blundo, S. Cimato, R. De Prisco, A.L. Ferrara
-
Mechanical Reasoning about Families of UTP Theories
Abstract In this paper we present a semantic embedding of Hoare and He's Unifying Theories of Programming (UTP) framework into the ProofPower-Z theorem prover; it concisely captures the notion of UTP theory, theory instantiation, and, additionally,...
2009 / Frank Zeyda, Ana Cavalcanti -
A Proof Search Specification of the π-Calculus
Abstract We present a meta-logic that contains a new quantifier ∇ (for encoding “generic judgments”) and inference rules for reasoning within fixed points of a given specification. We then specify the operational semantics and bisimulation relations ...
2005 / Alwen Tiu, Dale Miller