Browsing Τμήμα Πληροφορικής / Department of Computer Science by Submit Date
Now showing items 1-20 of 1952
-
Conference Object
Open source workflow systems in life sciences informatics
(2012)A simple yet powerful programming tool enabling in silico experimentation, end-to-end data management through web services as well as use of grid and cloud processing power is scientific workflows. This technology is ...
-
Article
Enterprise COllaboration and INteroperability (COIN) platform: Two case studies in the marine shipping domain
(2012)Enterprise Collaboration and Enterprise Interoperability are two key aspects of networked enterprises, which proceed along parallel tracks with rare opportunities to convene, support and influence each other. To resolve ...
-
Article
A model-driven framework for developing web service oriented applications
(2012)The advancements made in terms of the capabilities of mobile devices have shifted the interest of service engineering towards frameworks that are able to deliver applications rapidly and efficiently. The development of ...
-
Conference Object
The connected vitality system: Enhancing social presence for older adults
(2013)The social isolation of older adults in Europe is a key and continuously growing issue that demands immediate attention. Older adults might feel isolated and lonely mainly because they lack human contact and social support. ...
-
Article
Computing and Communications for the Software-Defined Metamaterial Paradigm: A Context Analysis
(2017)Metamaterials are artificial structures that have recently enabled the realization of novel electromagnetic components with engineered and even unnatural functionalities. Existing metamaterials are specifically designed ...
-
Conference Object
RVC: A mechanism for time-analyzable real-time processors with faulty caches
(2011)Geometry scaling due to technology evolution as well as Vcc scaling lead to failures in large SRAM arrays such as caches. Faulty bits can be tolerated from the average performance perspective, but make critical realtime ...
-
Conference Object
RVC-based time-predictable faulty caches for safety-critical systems
(2011)Technology and Vcc scaling lead to significant faulty bit rates in caches. Mechanisms based on disabling faulty parts show to be effective for average performance but are unacceptable in safety critical systems where ...
-
Article
-
Article
Enabling cross-platform mobile application development: A context-aware middleware
(2014)The emergence of mobile computing has changed the rules of web application development. Since context-awareness has become almost a necessity in mobile applications, web applications need to adapt to this new reality. A ...
-
Conference Object
Business-Oriented Evaluation of the PaaSage Platform
(Institute of Electrical and Electronics Engineers Inc., 2015)Cloud computing is an efficient and cost effective realization of the utility function principle. Over the last years, a vast pool of choices for businesses has been created. This diversity of cloud infrastructures, ...
-
Conference Object
A framework for dynamic validation of context-aware applications
(2012)The development of context-aware applications is a complex process that involves the tasks of analysis, design, validation and implementation. This process is typically performed using context modelling approaches that ...
-
Article
Temporal representation and reasoning in medicine: Research directions and challenges
(2006)Summary: Objective: The main aim of this paper is to propose and discuss promising directions of research in the field of temporal representation and reasoning in medicine, taking into account the recent scientific literature ...
-
Conference Object
A distributed algorithm for gathering many fat mobile robots in the plane
(2013)We revisit the problem of gathering autonomous robots in the plane. In particular, we consider non-transparent unit-disc robots (i.e., fat) in an asynchronous setting with vision as the only means of coordination and robots ...
-
Article
Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets
(2015)Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored ...
-
Article
Protein secondary structure prediction with bidirectional recurrent neural nets: Can weight updating for each residue enhance performance?
(2010)Successful protein secondary structure prediction is an important step towards modelling protein 3D structure, with several practical applications. Even though in the last four decades several PSSP algorithms have been ...
-
Article
Training bidirectional recurrent neural network architectures with the scaled conjugate gradient algorithm
(2016)Predictions on sequential data, when both the upstream and downstream information is important, is a difficult and challenging task. The Bidirectional Recurrent Neural Network (BRNN) architecture has been designed to deal ...
-
Article
Supporting increment and decrement operations in balancing networks
(1999)Counting networks are a class of distributed data structures that support highly concurrent implementations of shared Fetch&Increment counters. Applications of these counters include shared pools and stacks, load balancing, ...
-
Conference Object
Enhancing virtual reality systems with smart wearable devices
(Institute of Electrical and Electronics Engineers Inc., 2016)The proliferation of wearable and smartphone devices with embedded sensors has enabled researchers and engineers to study and understand user behavior at an extremely high fidelity, particularly for use in industries such ...
-
Conference Object
A utility-based adaptivity model for mobile applications
(2007)Mobile environments are characterized by resource fluctuations and limitations, and variations in user preferences. Therefore mobile applications need to be adaptive to retain usability, usefulness and reliability. In our ...
-
Conference Object
Video SIMDBench: Benchmarking the Compiler Vectorization for Multimedia Applications
(Institute of Electrical and Electronics Engineers Inc., 2016)Single Instruction Multiple Data (SIMD) Extensions become popular in computer architectures as a simple and efficient way to exploit the data parallelism hidden in applications. The compiler research community has proposed ...