Computer and information sciences topic list of research papers
-
An evolutionary computation attack on one-round TEA
Abstract In this work, one-round Tiny Encryption Algorithm (TEA) is attacked with an Evolutionary Computation method inspired by a combination of Genetic Algorithm (GA) and Harmony Search (HS). The system presented evaluates and evolves a population ...
2011 / Eddie Yee-Tak Ma, Charlie Obimbo -
Towards Supporting Users in Semantic Exploration of Large Distributed Schemas
Abstract Emergency management increasingly depends on various information systems to support crisis operations and facilitate communication and coordination. In this paper, we address the issues that may arise in large schemas that are developed...
2011 / Mandana Sotoodeh, Rachel Pottinger, Philippe Kruchten -
Reflective Assistance—Pervasive Adaptation in Real Life Computing
Abstract The ultimate goal of the reflective assistance control system is to observe people in a specific real-life situation, diagnose their psychological and behavioral state and influence the ambient accordingly. The system uses reflective...
2011 / Nikola Serbedzija, Gilbert Beyer -
TOSSIM simulation of wireless sensor network serving as hardware platform for Hopfield neural net configured for max independent set
Abstract This paper, the third one in a three-paper sequence, presents the result of TOSSIM simulation of a Hopfield neural network as a static optimizer and configured to solve the maximum independent set (MIS) problem using a wireless sensor...
2011 / Jiakai Li, Gursel Serpen -
Basic elements and characteristics of mobile learning
Abstract Mobile learning (m-learning) as a kind of learning model allowing learners to obtain learning materials anywhere and anytime using mobile technologies and the Internet. It is necessary that the elements of mobile learning are organized...
2011 / Fezile Ozdamli, Nadire Cavus -
Propose an educational plan for computer ethics and information security
Abstract As the general public becomes increasingly computer literate, the gap between technology and peoples’ mental power notably shrinks. However, at the same time computer technology may raise some unethical issues with current life style and...
2011 / Hamed Taherdoost, Shamsul Sahibuddin, Meysam Namayandeh, Neda Jalaliyoon -
Speaker Recognition System Based on weighted feature parameter
Abstract Speaker recognition is a kind of biometrics technology, which is very popular and widely applied. To improve the effectiveness of feature parameter, a weighted feature extraction method is proposed in this paper. It analyses each component...
2012 / Li Zhu, Qing Yang -
The Generalized Gauss Reduction Algorithm
Abstract We generalize the Gauss algorithm for the reduction of two-dimensional lattices from thel 2-norm to arbitrary norms and extend Vallée's analysis [J. Algorithms 12(1991), 556–572] to the generalized...
2002 / Michael Kaib, Claus P. Schnorr -
The Bicategory-Theoretic Solution of Recursive Domain Equations
Abstract We generalise the traditional approach of Smyth and Plotkin to the solution of recursive domain equations from order-enriched structures to bicategorical ones and thereby develop a bicategorical theory for recursively defined domains in...
2007 / Gian Luca Cattani, Marcelo P. Fiore -
A Calculus for Mobile Ad-hoc Networks with Static Location Binding
Abstract We present a process calculus for mobile ad hoc networks which is a natural continuation of our earlier work on the process calculus CMAN [J.C. Godskesen. A calculus for mobile ad hoc networks. In Proceedings of the 9th International...
2009 / Jens Chr. Godskesen -
Prototyping System Requirements Model
Abstract In this paper, we present a tool for automatic prototype generation and analysis (AutoPA2.0) that implements the transformations from UML system requirements models to executable prototypes with the function of checking multiplicity...
2008 / Xiaoshan Li, Zhiming Liu -
Modular Distribution and Application to Discrete Controller Synthesis
Abstract This paper shows the application of the automatic distribution of synchronous reactive programs to the specific problem of discrete controller synthesis of complex reactive systems. Discrete controller synthesis is a formal method used to...
2009 / Gwenaël Delaval -
Some Undecidable Approximations of TRSs
Abstract In this paper we study the decidability of reachability, normalisation, and neededness in n-shallow and n-growing TRSs. In an n-growing TRS, a variable that occurs both on the left- and right-hand side of a rewrite rule must be at depth n...
2005 / Jeroen Ketema -
Stateflow Diagrams in Circus
Abstract The Matlab Simulink tool is widely used to construct and analyse control law diagrams. Many have worked on techniques to enhance analysis facilities, and previously, we have considered the complementary problem of proving correctness of...
2009 / Ana Cavalcanti -
Towards Attributed Graphs in Groove
Abstract Graphs are a very expressive formalism for system modeling, especially when attributes are allowed. Our research is mainly focused on the use of graphs for system verification. Up to now, there are two main different...
2006 / Harmen Kastenberg -
Which Soft Constraints do you Prefer?
Abstract Soft constraints are gaining popularity in diverse areas such as orchestration of Web services or optimization of scheduling decisions. However, current approaches to soft constraints preclude them from modelling certain decision problems...
2009 / Matthias Hölzl, Max Meier, Martin Wirsing -
Graph Transformation Semantics for a QVT Language
Abstract It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an application of graph transformation. In this paper we substantiate...
2008 / Arend Rensink, Ronald Nederpel -
Some Characterization Results for Permutation Algebras2004 / Fabio Gadducci, Marino Miculan, Ugo Montanari
-
Visual Patterns Associated to Abstract Trees
Abstract Visual languages have an important role in modeling systems, specification of software, and in specific application domains. By using visual properties like spatial placement or line connections complex structures can be presented, so that...
2006 / Uwe Kastens, Carsten Schmidt -
Bus Modelling in Zoned Disks RAID Storage Systems
Abstract A model of bus contention in a Multi-RAID storage architecture is presented. Based on an M/G/1 queue, the main issues are to determine the service time distribution that accurately represents the highly mixed input traffic of requests. This ...
2009 / Peter Harrison, Soraya Zertal