Computer and information sciences topic list of research papers
-
Advancing Post-Genome Data and System Integration through Machine Learning2002 / Francisco Azuaje
-
Preface2006 / Steve Brookes, Michael Mislove
-
Viewing CSP Specifications with UML-RT Diagrams
Abstract To precisely specify and reason about the properties of a system requires using formal methods like, for instance, process algebras. Complementary, semi-formal notations like UML are extensively used in practice to describe several...
2008 / Patrícia Ferreira, Augusto Sampaio, Alexandre Mota -
Weak Bisimulation for Action-Type Coalgebras
Abstract We propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained from bifunctors over the category Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a transformed system. The transformation ...
2006 / Ana Sokolova, Erik de Vink, Harald Woracek -
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
Abstract A distributed system may be modeled by objects that run concurrently, each with its own processor, and communicate by remote method calls. However objects may have to wait for response to external calls; which can lead to inefficient use of ...
2005 / Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen -
Anchoring Modularity in HTML
Abstract Modularity is a key feature at design, programming, proving, testing, and maintenance time, as well as a must for reusability. Most languages and systems provide built-in facilities for encapsulation, importation or parameterization....
2006 / Claude Kirchner, Hélène Kirchner, Anderson Santana -
From Architectural to Behavioural Specification of Services
Abstract Many efforts are currently devoted to provide software developers with methods and techniques that can endow service-oriented computing with systematic and accountable engineering practices. To this purpose, a number of languages and...
2009 / Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi -
The OMEGA Component Model2004 / Joost Jacob
-
A novel intrusion detection system by using intelligent data mining in weka environment
Abstract Nowadays, the using of intelligent data mining approaches to predict intrusion in local area networks has been increasing rapidly. In this paper, an improved approach for Intrusion Detection System (IDS) based on combining data mining and...
2011 / Muamer N. Mohammad, Norrozila Sulaiman, Osama Abdulkarim Muhsin -
A Web API Framework for Developing Grid Portals
Abstract In this paper we describe a grid problem solving environment we developed for financial applications. We based its development on a portlet framework we have specifically developed and on a set of Web APIs that encapsulate all grid control...
2011 / Valerio De Luca, Italo Epicoco, Daniele Lezzi, Giovanni Aloisio -
Usage analysis of system for theses acquisition and plagiarism detection
Abstract The national project of The Central Register of the Theses has started in 2008. The project serves as an integrating system for acquisition, archiving and plagiarism detection of the theses from academic information systems of Slovak...
2011 / Martin Drlík, Michal Munk, Ján Skalka -
Weight Based Hierarchical Clustering Algorithm for Mobile Ad hoc Networks
Abstract Mobile ad hoc network is a self organized & dynamic multi hop wireless network comprised of mobile nodes that communicate with each other without any fixed infrastructure. Different solution proposed for scaling down the large size of...
2012 / Sudipta Sahana, Soumyabrata Saha, Suparna DasGupta -
Link Prediction Based on Common-Neighbors for Dynamic Social Network
Abstract Link prediction is an important issue in social networks. Most of the existing methods aim to predict interactions between individuals for static networks, ignoring the dynamic feature of social networks. This paper proposes a link...
2016 / Lin Yao, Luning Wang, Lv Pan, Kai Yao -
A Revisionist History of Concurrent Separation Logic
Abstract Concurrent Separation Logic is a resource-sensitive logic for fault-free partial correctness of concurrent programs with shared mutable state, combining separation logic with Owicki-Gries inference rules, in a manner proposed by Peter...
2011 / Stephen Brookes -
Stochastic margin-based structure learning of Bayesian network classifiers
Abstract The margin criterion for parameter learning in graphical models gained significant impact over the last years. We use the maximum margin score for discriminatively optimizing the structure of Bayesian network classifiers. Furthermore,...
2012 / Franz Pernkopf, Michael Wohlmayr -
A proposed security technique based on watermarking and encryption for digital imaging and communications in medicine
Abstract Nowadays; modern Hospital Data Management Systems (HDMSs) are applied in a computer network; in addition medicinal equipments produce medical images in a digital form. HDMS must store and exchange these images in a secured environment to...
2012 / Mohamed M. Abd-Eldayem -
Planning meets self-organization: Integrating interactive evolutionary computation with cellular automata for urban planning
Abstract The experiment carried by the author in 2010 is to test if self-organizing systems could be systematically regulated according to the user's preference for global behavior. Self-organizing has been appreciated by architects and urban...
2012 / Hao Hua -
Comparing Brain Networks of Different Size and Connectivity Density Using Graph Theory2010 / Bernadette C. M. van Wijk, Cornelis J. Stam, Andreas Daffertshofer
-
Extending Constructive Logic Negation with Types
Abstract Negation has traditionally been a difficult issue in Logic Programming. Most of Prolog programmers have been restricted to use just a weak negation technique, like negation as failure. Many alternative semantics were...
2009 / Susana Munoz-Hernandez, Juan José Moreno-Navarro -
Reflections on a Geometry of Processes
Abstract In this note we discuss some issues concerning a geometric approach to process algebra. We mainly raise questions and are not yet able to present significant answers.
2006 / Clemens Grabmayer, Jan Willem Klop, Bas Luttik