Sciweavers

SAC
2015
ACM
8 years 8 months ago
Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system
In this paper we demonstrate several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with the Prolog-based ECLi PSe system using ...
Sergii Dymchenko, Mariia Mykhailova
SAC
2015
ACM
8 years 8 months ago
Discovering weighted motifs in gene co-expression networks
An important dimension of complex networks is embedded in the weights of its edges. Incorporating this source of information on the analysis of a network can greatly enhance our u...
Sarvenaz Choobdar, Pedro Manuel Pinto Ribeiro, Fer...
SAC
2015
ACM
8 years 8 months ago
Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution
The performance of value classes is highly dependent on how they are represented in the virtual machine. Value class instances are immutable, have no identity, and can only refer ...
Tobias Pape, Carl Friedrich Bolz, Robert Hirschfel...
SAC
2015
ACM
8 years 8 months ago
Adaptive blurring of sensor data to balance privacy and utility for ubiquitous services
Given the trend towards mobile computing, the next generation of ubiquitous “smart” services will have to continuously analyze surrounding sensor data. More than ever, such se...
Assaad Moawad, Thomas Hartmann 0001, Franço...
SAC
2015
ACM
8 years 8 months ago
Effective manycast messaging for Kademlia network
Peer-to-peer (P2P) communication plays an ever-expanding role in critical applications with rapidly growing user bases. In addition to well-known P2P systems for data sharing (e.g...
Lubos Matl, Tomás Cerný, Michael J. ...
SAC
2015
ACM
8 years 8 months ago
Truth and myth of independent software testing: a controlled human experiment
Organizations often outsource software testing activities to optimize software testing and verify developed software by independent experts. Related benefits include expectations ...
Ali Sunyaev, Dirk Basten
BIRTHDAY
2015
Springer
8 years 8 months ago
Abstract Constraint Data Types
José Luiz Fiadeiro, Fernando Orejas
BIRTHDAY
2015
Springer
8 years 8 months ago
Modularity of Ontologies in an Arbitrary Institution
Abstract. The notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to c...
Yazmin Angélica Ibáñez-Garc&i...
BIRTHDAY
2015
Springer
8 years 8 months ago
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge
Situational awareness applications used in disaster response and tactical scenarios require efficient communication without support from a fixed infrastructure. As commercial off...
Samuel Wood, James Mathewson, Joshua Joy, Mark-Oli...
BIRTHDAY
2015
Springer
8 years 8 months ago
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...