Computer and information sciences topic list of research papers
-
Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis
Abstract UML sequence diagrams are intuitively simple and can be understood by most stakeholders, including end-users, decision makers, engineers and other parties involved in a risk analysis. Building on UML sequence diagrams and trying to maintain ...
2008 / Atle Refsdal, Ketil Stølen -
Rewriting Logic Systems
Abstract We present an overview of rewriting-based systems that were presented at the workshop.
2007 / Grit Denker, Carolyn Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, et al. -
Narrowing and Rewriting Logic: from Foundations to Applications
Abstract Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both cases, narrowing supports equational reasoning and assumes...
2007 / Santiago Escobar, José Meseguer, Prasanna Thati -
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres
Abstract We present the design of a BPEL orchestration engine based on ReSpecT tuple centres, a coordination model extending Linda with the ability of declaratively programming the reactive behaviour of tuple spaces. Architectural and linguistic...
2006 / Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli -
A Practical Approach to Courcelle's Theorem
Abstract In 1990, Courcelle showed that every problem definable in Monadic Second-Order Logic (MSO) can be solved in linear time on graphs with bounded treewidth. This powerful and important theorem is amongst others the foundation for several fixed ...
2009 / Joachim Kneis, Alexander Langer -
Normalization by Evaluation for Martin-Löf Type Theory with One Universe
Abstract We present an algorithm for computing normal terms and types in Martin-Löf type theory with one universe and eta-conversion. We prove that two terms or types are equal in the theory iff the normal forms are identical (as de Bruijn terms)....
2007 / Andreas Abel, Klaus Aehlig, Peter Dybjer -
The use of distributed databases in e-learning systems
Abstract E-learning: The modern technologies in education and research aims to build a society based on knowledge. In this paper we will describe the advantages of e-learning education and the importance of data allocation in the process of...
2011 / Iacob Nicoleta Magdalena -
The political networks of Mexico and measuring centralization
Abstract For over twenty years a major project describing the political networks of Mexico has been undertaken at the National University of Mexico. In their analyses of these networks, Gil and Schmidt, make use of a node centrality index, the power ...
2011 / Philip A. Sinclair -
Research on Rough Set Model Based on Golden Ratio
Abstract How to make decision with pre-defined preference-ordered criteria also depends on the environment of the problem. Dominance rough set model is suitable for preference analysis and probabilistic rough set introduces probabilistic approaches...
2011 / Yu-Ming Zhai, Rui-Xia Yan, Hai-Feng Liu -
User Authentication using Profiling in Mobile Cloud Computing
Abstract As Cloud Computing has been spreading widely, users and service providers enables to use resource or service cheaply and easily without owning all the resource needed. However, cloud computing, virtualization technology, large distributed...
2012 / Hoon Jeong, Euiin Choi -
Using Developer Activity Data to Enhance Awareness during Collaborative Software Development2009 / Inah Omoronyia, John Ferguson, Marc Roper, Murray Wood
-
A blueprint for integrated eye-controlled environments2009 / D. Bonino, E. Castellina, F. Corno, A. Gale, A. Garbo, et al.
-
Teaching Multilingual Online Resources. ALPHA EU Preschool Approach
Abstract Kindergarten activities are all about learning and developing the preschooler into a school pupil, and into a more responsible and social life-aware being. The sets of skills the development of which should be followed and attentively...
2015 / Florentina Bucuroiu, Ana Cristina Lemnaru -
LotrecScheme
Abstract We propose a generic tableau prover extending Lotrec, called LotrecScheme: the tool enables to enrich tableau method rules with executable code. The user can graphically design its own tableau method and can solve the problem of model...
2011 / François Schwarzentruber -
Miniaturized digital camera system for disposable endoscopic applications
Abstract A miniaturized color camera module for disposable endoscopic applications and minimally invasive surgery has been designed and developed. The module consists of a CMOS sensor, miniaturized optics, a LED-based illuminator...
2009 / D. Covi, C. Cavallotti, M. Vatteroni, L. Clementel, P. Valdastri, et al. -
PredictingTrust from User Ratings
Abstract Trust relationships between usersinvariousonline communitiesare notoriouslyhardtomodelfor computer scientists.It canbeeasilyverifiedthattryingtoinfer trustbasedonthe socialnetworkaloneisoftenineffcient. Therefore, theavenue we explore is...
2012 / Nikolay Korovaiko, Alex Thomo -
Gravitation search algorithm: Application to the optimal IIR filter design
Abstract This paper presents a global heuristic search optimization technique known as Gravitation Search Algorithm (GSA) for the design of 8th order Infinite Impulse Response (IIR), low pass (LP), high pass (HP), band pass (BP) and band stop (BS)...
2012 / Suman Kumar Saha, Rajib Kar, Durbadal Mandal, S.P. Ghoshal -
An Automated Activity Monitoring System for Rehabilitation
Abstract Time lost due to injury or illness requiring rehabilitation is a major problem. Activity is an important part of rehabilitation, however compliance and adherence can be challenging. This paper addresses this issue by presenting an automatic ...
2013 / David D. Rowlands, Wayne Usher, Mitchell McCarthy, Raymond Leadbetter, Jason Ride, et al. -
Service Oriented Architecture to Support Mexican Secondary Education through Mobile Augmented Reality
Abstract This paper proposes a mobile augmented reality system that allows Mexican secondary education students to access additional educational contents related to their textbooks. Our system recognizes the images printed in the book as part of...
2012 / Pedro C. Santana-Mancilla, Miguel A. Garc’a-Ruiz, Ricardo Acosta-Diaz, Celso U. Juárez -
How to Determine the Topology of Hierarchical Tuning Networks for Dynamic Auto-tuning in Large-scale Systems
Abstract Automatic analysis and tuning is a key strategy that helps to exploit the potential of high performance systems. However, for parallel applications with long running times, dynamic behaviour or highly data dependent performance patterns, it ...
2013 / Andrea Martínez, Anna Sikora, Eduardo César, Joan Sorribes