Search results for "computer.file_format"
showing 10 items of 214 documents
An Observation Framework for Multi-agent Systems
2009
Existing middleware platforms for multi-agent systems (MAS) do not provide general support for observation. On the other hand, observation is considered to be an important mechanism needed for realizing effective and efficient coordination of agents. This paper describes a framework called Agent Observable Environment (AOE) for observation-based interaction in MAS. The framework provides 1) possibility to model MAS components with RDF-based observable soft-bodies, 2) support for both query and publish/subscribe style ontology-driven observation, and 3) ability to restrict the visibility of observable information using observation rules. Additionally, we report on an implementation of the fr…
Cultivating the Installed Base: The Introduction of e-Prescription in Greece
2017
In this chapter we explore the surprisingly swift deployment of a national e-prescription service in Greece. We position e-prescribing within the overall Greek health system and we describe how the new electronic service evolved to inscribe specific prescribing policies, to provide clinical decision support and to facilitate the processes and roles of policy and financing stakeholders. We identify how a series of pragmatic decisions allowed building upon a “good-enough” installed base by exploiting its latent potential without perpetuating all of its weaknesses, and by being responsive to exogenous shifts. These tactical decisions, were supported by a favourable and enabling combination of …
ViziQuer: A Web-Based Tool for Visual Diagrammatic Queries Over RDF Data
2018
We demonstrate the open source ViziQuer tool for web-based creation and execution of visual diagrammatic queries over RDF/SPARQL data. The tool supports the data instance level and statistics queries, providing visual counterparts for most of SPARQL 1.1 select query constructs, including aggregation and subqueries. A query environment can be created over a user-supplied SPARQL endpoint with known data schema (a data schema exploration service is available, as well). There are pre-defined demonstration query environments for a mini-university data set, a fragment of synthetic similar to reality hospital data set, and a variant of Linked Movie Database RDF data set.
PMG-pro: A model-driven method for the development of service-based applications in a heterogenous services environment
2010
This paper presents PMG-pro (present, model, generate and provide), a development method of service-based applications. With PMG-pro, the composition of heterogeneous pre-made services is done at model levels and thereby different executable software systems for different target platforms can be generated automatically. To illustrate the method, we present a case study of developing a service-based application in a smart home environment.
Extracting Structured Knowledge From Sensor Data for Hybrid Simulation
2014
Obtaining continuous and detailed monitoring of indoor environments has today become viable, also thanks to the widespread availability of effective and flexible sensing technology; this paves the way for the design of practical Ambient Intelligence systems, and for their actual deployment in real-life contexts, which require advanced functionalities, such as for instance the automatic discovery of the activities carried on by users. Novel issues arise in this context; on one hand, it is important to reliably model the phenomena under observation even though, to this end, it is often necessary to craft a carefully designed prototype in order to test and fine-tune the theoretical models.
Programming distributed applications with symbolic reasoning on WSNs
2015
Programming Wireless Sensor Networks (WSNs) is a complex task for which existing approaches adopt rigid architectures that are only suitable for specific application fields. In previous papers we introduced a programming methodology and a lightweight middleware based on high-level programming and executable code exchange for distributed processing on WSNs. In this paper, we show how high-level programming can be effectively used on WSNs to implement symbolic reasoning. In order to prove the feasibility of our approach, we present a Fuzzy Logic system where the value updates and the rule evaluations are performed in a distributed way. Through the proposed methodology, we discuss the developm…
High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices
2015
While the vision of Internet of Things (IoT) is rather inspiring, its practical implementation remains challenging. Conventional programming approaches prove unsuitable to provide IoT resource constrained devices with the distributed processing capabilities required to implement intelligent, autonomic, and self-organizing behaviors. In our previous work, we had already proposed an alternative programming methodology for such systems that is characterized by high-level programming and symbolic expressions evaluation, and developed a lightweight middleware to support it. Our approach allows for interactive programming of deployed nodes, and it is based on the simple but effective paradigm of …
A Middleware to Develop and Test Vehicular Sensor Network Applications
2019
The Smart city ecosystem is composed of several networked devices that provide services to citizens and improve their quality of life. Basic services, which must be exposed by the underlying software infrastructure, require efficient networking and communication protocols to coordinate and manage all the system components. In particular, Vehicular Sensor Networks (VSNs) are envisioned as key components of smart cities. Verification is crucial in such a highly dynamic scenario to ensure operation correctness and to reduce the development cost of smart applications. However, the rigidity of existing middlewares makes development, reconfiguration, and testing rather difficult. In this work, we…
A new algorithm for bit rate allocation in JPEG2000 tile encoding
2004
A new algorithm for allocating a given bit rate to different image tiles in the JPEG2000 encoding system is proposed. The algorithm outperforms other approaches commonly used in implementations. The new algorithm is suitable when information content is not equally distributed across the image. It is based on the computation of an index of the information content of each tile. To implement the proposed approach, we modified JasPer, a free software-based JPEG2000 coder implementation (Adams, M.D. and Kossentini, F., Proc. IEEE Int. Conf. on Image Process., vol.2, p.53-6, 2000). The experimentation was carried out on a subset of the JPEG2000 test images. Experimental results are reported, show…
Testing a model for the monitoring of worked-out algebra-problem examples: from behaviours to outcomes on a math task
2021
This study aimed at testing an extension of a theoretical model for the metacognitive monitoring mechanism implied in the detection of inconsistencies when the information provided includes abstract symbols in addition to plain text. Ninety-four postgraduates of STEM specialities were asked to read a worked-out algebra-problem example and to report any incoherence, inconsistency, or error detected in the statement or in the solving procedure. A set of model inspired indexes was defined to describe participants¿ behaviour along the task. The Read & Answer software was used to record online individual processing data and participants¿ reports. Results supported model predictions. Indexes corr…