Computer and information sciences topic list of research papers
-
Som-Based Class Discovery Exploring the ICA-Reduced Features of Microarray Expression Profiles2005 / Andrei Dragomir, Seferina Mavroudi, Anastasios Bezerianos
-
Security Issues in Healthcare Applications Using Wireless Medical Sensor Networks: A Survey2011 / Pardeep Kumar, Hoon-Jae Lee
-
Hybrid column generation and large neighborhood search for the dial-a-ride problem
Abstract Demographic change towards an ever aging population entails an increasing demand for specialized transportation systems to complement the traditional public means of transportation. Typically, users place transportation requests, specifying ...
2012 / Sophie N. Parragh, Verena Schmid -
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Abstract We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis and the characteristics of a high-level rule-based...
2006 / Gul Agha, José Meseguer, Koushik Sen -
Automated Derivation of Translators From Annotated Grammars
Abstract In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures. We exploit the similarities between those languages to...
2006 / Diego Ordonez Camacho, Kim Mens, Mark van den Brand, Jurgen Vinju -
A Survey of Desynchronization in a Polychronous Model of Computation
Abstract The synchronous hypothesis arose in the late Eighties as a conceptual framework for the computer-aided design of embedded systems. Along with this framework, the issue of desynchronization was simultaneously raised as the major topic of...
2006 / Julien Ouy -
DisCComp – A Formal Model for Distributed Concurrent Components
Abstract Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concurrent flow of execution are orthogonal. A sound semantic model ...
2007 / Andreas Rausch -
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
Abstract In this paper, we present our line of research for defining an integrated framework for the specification and analysis of security and trust in complex and dynamic scenarios. We aim at showing how the same machinery applied for the formal...
2007 / Fabio Martinelli, Marinella Petrocchi -
A Model-based Integration and Testing Method to Reduce System Development Effort
Abstract New methods and techniques are needed to reduce the very costly integration and test effort (in terms of lead time, costs, resources) in the development of high-tech multi-disciplinary systems. To facilitate this effort reduction, we...
2006 / N.C.W.M. Braspenning, J.M. van de Mortel-Fronczak, J.E. Rooda -
Generic Pickling and Minimization
Abstract This paper presents generic pickling and minimization mechanisms that are provided as services similar to garbage collection. Pickling is used to externalize and internalize data. Minimization means to maximize the sharing in arbitrary data ...
2006 / Guido Tack, Leif Kornstaedt, Gert Smolka -
Proof Checking Technology for Satisfiability Modulo Theories
Abstract A common proof format for solvers for Satisfiability Modulo Theories (SMT) is proposed, based on the Edinburgh Logical Framework (LF). Two problems arise: checking very large proofs, and keeping proofs compact in the presence of complex...
2009 / Aaron Stump -
An Intermediate Language for the Simulation of Biological Systems
Abstract We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be translated into SMSR and SMSR descriptions can be simulated by ...
2008 / Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo -
Coordination by Timers for Channel-Based Anonymous Communications
Abstract In this paper we present a new model for timed coordination of communicating distributed processes. The proposed model is an extension of the π-calculus with locations, types, and timers. Types are used to express restricted access to...
2007 / Gabriel Ciobanu, Cristian Prisacariu -
A Holistic Approach to Security Policies – Policy Distribution with XACML over COPS
Abstract The potentials of modern information technology can only be exploited, if the underlying infrastructure and the applied applications sufficiently take into account all aspects of IT security. This paper presents the platform architecture of ...
2007 / Jan Peters, Roland Rieke, Taufiq Rochaeli, Björn Steinemann, Ruben Wolf -
Formal Verification of Websites
Abstract In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined as a collection of web pages which are semantically connected ...
2008 / Sonia Flores, Salvador Lucas, Alicia Villanueva -
A Mechanism for Communication-Efficient Broadcast Encryption over Wireless Ad Hoc Networks
Abstract Due to its low communication cost, stateful broadcast encryption is an appealing solution for secure content distribution in mobile ad hoc wireless networks (MANETs). Unfortunately, the inherent limitations of MANETs prevent a standard...
2007 / Reza Curtmola, Seny Kamara -
Interpreting SWRL Rules in RDF Graphs
Abstract An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics. In this paper we propose to make the model-theoretic...
2006 / Jing Mei, Harold Boley -
Knowledge Representation: Logical, Philosophical, and Computational Foundations John F. Sowa Pacific Grove, CA : Brooks/Cole , 2000 , xiv+594 pp; hardbound, ISBN 0-534-94965-7 , $67.952002 / Stuart C. Shapiro
-
Localization in Wireless Sensor Networks and Anchor Placement2012 / Thomas Kunz, Benjamin Tatham
-
Agrammatic Aphasia as Underspecification of Phase Features: A Case Study2011 / Deniz Tat