Computer and information sciences topic list of research papers
-
Effect of English Short Sentences Memorization on the Speaking Skill and the E-learning of English
Abstract The paper discusses an effect of English short sentence memorization on the speaking skill using an e-learning then suggests to implement the method when making an e-learning of English. In the e-learning discussed in the paper, the system...
2013 / Ikuo Kitagaki -
Reduced differential transform method to solve two and three dimensional second order hyperbolic telegraph equations
Abstract In this article, an analytical solution procedure is described for solving two and three dimensional second order hyperbolic telegraph equation using a reliable semi-analytic method so called the reduced differential transform method (RDTM) ...
2014 / Vineet K. Srivastava, Mukesh K. Awasthi, R.K. Chaurasia -
Transparent Digital Watermark on Drug's Images
Abstract The pharmaceutical system research and development foundation has an intention to identify the ownership of the pictures of drugs which are going to be shown on YaAndYou.net website by inserting digital watermark which does not affect the...
2013 / Chaiwoot Seetha, Suthida Goollawattanaporn, Chularat Tanprasert -
Stochastic MCDM Framework Over Converged Infrastructure
Abstract Service unification and application integration have brought about vendors, network operators, service providers, car- riers, businesses and infrastructures over a platform while offering the business plans, presenting solution packages,...
2013 / Sajjad Ali Mushtaq, Naheed Sajjad, Zahoor Khan -
Use and Abuse of Audiovisual Media in the College Classroom. Slides Show and Web Pages
Abstract The multimedia development that has taken place within the university classrooms in recent years has caused a revolution at psychological level within the collectivity of students and teachers inside and outside the classrooms. The slide...
2013 / Jose María del Campo, Vicente Negro, Miguel Núñez -
Modeling Concurrent, Sequential, Storage, Retrieval, and Scheduling Activities of Multimedia Systems
Abstract As real-time systems continue to grow, performance evaluation plays a critical role in the design of these systems since the computation time, the service time, and the responsive actions must satisfy the time constraints. One of these...
2013 / Samir M. Koriem -
Full Abstraction for Strongly Fair Communicating Processes
Abstract We present a denotational semantics for a language of parallel communicating processes based on Hoare's CSP [10] and Milner's CCS [14], and we prove that the semantics is fully abstract with respect to a deadlock-sensitive notion of fair...
2004 / Stephen Brookes, Susan Older -
Efficient Substitution in Hoare Logic Expressions
Abstract Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important to choose a good implementation for it. In this paper we...
2004 / Andrew W. Appel, Kedar N. Swadi, Roberto Virga -
Complexity of Weak Bisimilarity and Regularity for BPA and BPP
Abstract It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound for BPP have been demonstrated by Stribrna. Mayr achieved...
2005 / Jiří Srba -
IAP for Dummies: The YAP Design
Abstract One of the advantages of logic programming is the fact that it offers several sources of implicit parallelism. One particularly interesting form of And-Parallelism is Independent And-Parallelism (IAP). Most work on the implementation of IAP ...
2005 / Manuel Eduardo Correia, Vitor Santos Costa -
Embedding First-Order Tableaux into a Pure Type System
Abstract We consider Pure Type Systems (PTSs) extended with a mechanism for parametric terms. In this paper we introduce a PTS called λP— utilizing this extension. λP— exactly corresponds to first-order predicate logic, unlike the usual embedding of ...
2005 / Michael Franssen -
A Logical Process Calculus
Abstract This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of...
2005 / Ranee Cleaveland, Gerald Lüttgen -
Analysis of Reciprocal and Square Root Reciprocal Instructions in the AMD K6-2 Implementation of 3DNow!
Abstract Reciprocal and root reciprocal functions at “half” and IEEE single precision formats are specified in the AMD 3DNow! instruction set. Implementations in the recently released AMD K6-2 microprocessor are analyzed herein by exhaustive...
2005 / Cristina Iordache, David W. Matula -
Towards Component Based Systems: Refining Connectors
Abstract Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combining different software components rather than built from scratch....
2005 / Matthias Anlauff, Asuman Sünbül -
Lambada, Haskell as a better Java
Abstract The Lambada framework provides facilities for fluid interoperation between Haskell (currently both Hugs and GHC using non-Haskell98 extensions) and Java. Using Lambada, we can call Java methods from Haskell, and have Java methods invoke...
2005 / Erik Meijer, Sigbjorn Finne -
Mechanical Software Verification
Abstract We present lessons learned from using mechanical theorem proving for proof support in software verification, with trusted execution of programs in mind. We will use two realistic running examples, compiler verification, which is central if...
2004 / Wolfgang Goerigk -
Behavioral Refinement and Compatibility of Statechart Extensions
Abstract We compare the notions of refinement and compatibility for system models and their variants described as statecharts. Compatibility, in the sense of substitutability, means that a system can be used in any place where the original one was...
2013 / Christian Prehofer -
On the Quality of Sampling from Geographic Networks
Abstract We consider the problem of randomly sampling information from a network embedded in two-dimensional space, as characteristic of a physical network. We ask in particular what factor most affects the sampling quality: The distribution of the...
2013 / Gunes Ercal, John Matta, William Stimson, Dominic Eccher -
Augmented Reality-based Support System for Teaching Hand-drawn Mechanical Drawing
Abstract This research aims to reduce the time, effort and monetary cost needed for developing various educational materials for teaching hand-drawn mechanical drawing by replacing actual educational materials with virtual ones on an augmented...
2013 / Hirosuke Horii, Yohei Miyajima -
Optimal PID control of a brushless DC motor using PSO and BF techniques
Abstract This paper presents a Particle Swarm Optimization (PSO) technique and bacterial foraging (BF) technique for determining the optimal parameters of (PID) controller for speed control of a brushless DC motor (BLDC) where the (BLDC) motor is...
2013 / H.E.A. Ibrahim, F.N. Hassan, Anas O. Shomer