Found 8706 result(s)
Found 436 page(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv

2014 Other Unknown

gCube Tabular Data Manager portlet
Panichi G., Mangiacrapa F.
A portlet for tabular data visualization and manipulationProject(s): IMARINE via OpenAIRE

See at: CNR People | www.gcube-system.org


2001 Conference object Unknown

Apprendimento online in rete: le possibilità offerte da XML
Carrara P., Fresta G.

See at: CNR People


2013 Conference object Unknown

GestIT: a declarative and compositional framework for multiplatform gesture definition
Spano L. D., Cisternino A., Paternò F., Fenu G.
Gestural interfaces allow complex manipulative interactions that are hardly manageable using traditional event handlers. Indeed, such kind of interaction has longer duration in time than that carried out in form-based user interfaces, and often it is important to provide users with intermediate feedback during the gesture performance. Therefore, the gesture specification code is a mixture of the recognition logic and the feedback definition. This makes it difficult 1) to write maintainable code and 2) reuse the gesture definition in different applications. To overcome these kinds of limitations, the research community has considered declarative approaches for the specification of gesture temporal evolution . In this paper, we discuss the creation of gestural interfaces using GestIT, a framework that allows declarative and compositional definition of gestures for different recognition platforms (e.g. multitouch and fullbody), through a set of examples and the comparison with existing approachesSource: EICS'13 - 5th ACM SIGCHI symposium on Engineering interactive computing systems, pp. 187–196, London, UK, 24-27 June 2013
DOI: 10.1145/2480296.2480307

See at: dl.acm.org | DOI Resolver | CNR People


2010 Report Unknown

Modelling and analysing the finance case study in UMC
Ter Beek M. H., Mazzanti F.
We describe a UMC model of the credit request scenario from Sensoria's Finance case study and verify a number of properties expressed in the service-oriented logic SocL. The UMC model is a faithful translation of the scenario's specification in UML4SOA, which is a profile for UML that defines a high-level domain-specific modelling language for behavioural service specifications.

See at: fmt.isti.cnr.it | CNR People


2013 Part of book or chapter of book Open Access OPEN

On-the-fly dependable mediation between heterogeneous networked systems
Bertolino A., Calabrò A., Di Giandomenico F., Nostro N., Inverardi P., Spalazzese R.
The development of next generation Future Internet systems must be capable to address complexity, heterogeneity, interdependency and, especially, evolution of loosely connected networked systems. The European project CONNECT addresses the challenging and ambitious topic of ensuring eternally functioning distributed and heterogeneous systems through on-the-fly synthesis of the CONNECTors through which they communicate. In this paper we focus on the CONNECT enablers that dynamically derive such connectors ensuring the required non-functional requirements via a framework to analyse and assess dependability and performance properties. We illustrate the adaptive approach under development integrating synthesis of CONNECTors, stochastic model-based analysis performed at design time and run-time monitoring. The proposed framework is illustrated on a case study.Source: Software and Data Technologies. Revised selected papers, edited by María José Escalona, José Cordeiro, Boris Shishkov, pp. 20–37. Berlin Heidelberg New York: Springer, 2013
DOI: 10.1007/978-3-642-36177-7_2
Project(s): CONNECT via OpenAIRE

See at: Hyper Article en Ligne Open Access | Hyper Article en Ligne Open Access | Hyper Article en Ligne Open Access | Flore (Florence Research Repository) Open Access


2009 Conference object Unknown

Automatically structuring text for audio learning
Leporini B., Buzzi M. C., Buzzi M., Mori G.
In recent years podcasting has been in great demand as a recreation and a learning tool. In this paper we describe the design and implementation of a system for automatically converting documents to structured audio. Our prototype is a Web-based service for preparing structured audio material to download on portable mp3 players. The on-line service is especially designed to aid users with special needs, such as the visually impaired. Ultimately, this would enhance comprehension for all.Source: 5th International Conference, UAHCI 2009, pp. 73–82, San Diego, CA - USA, July 19-24, 2009
DOI: 10.1007/978-3-642-02713-0_8

See at: DOI Resolver | CNR People | www.springerlink.com


2013 Conference object Open Access OPEN

Apprehensive QoS monitoring of service choreographies
Bartolini C., Bertolino A., De Angelis G., Ciancone A., Mirandola R.
Service choreographies specify the intended interaction protocol among a set of cooperating services at the business application level. For end-users the non-functional properties exposed by a choreographed service composition can be as important as its functional behaviour, if not even more. Therefore, in any choreography development process, the capability of specifying and assessing the established Service Level Agreements (SLAs) becomes a crucial requisite. However, by their very nature, choreography requirements can be quite abstract and may on purpose avoid formalizing non-functional properties for every step of each individual service, nonetheless the overall QoS choreography will be affected by them. In this paper, we propose a monitor enhanced with the capability to detect potential deviations from a choreography-prescribed QoS level, based on the observed non-functional behaviour of the contributing services. Such an apprehensive monitor, as we call it, can thus contribute to predict SLA violations in due time for taking useful counter-measures, and not only detect them after they have occurred. We illustrate the feasibility of the approach on a use-case from the European Project CHOReOS.Source: SAC'13 - 28th Annual ACM Symposium on Applied Computing, pp. 1893–1899, Coimbra, Portugal, 18-22 March 2013
DOI: 10.1145/2480362.2480713
Project(s): NESSOS via OpenAIRE

See at: Hyper Article en Ligne Open Access


2000 Article Unknown

A neural architecture for fully data driven edge-preserving image restoration
Bedini Luigi, Tonazzini Anna, Minutoli Salvatore
Source: Integrated computer-aided engineering 7 (2000): 1–18.

See at: CNR People


2010 Report Unknown

Spatio-temporal clustering: a survey
Kisilevich S., Mansmann F., Nanni M., Rinzivillo S.
Spatio-temporal clustering is a process of grouping objects based on their spatial and temporal similarity. It is relatively new sub-field of data mining which gained high popularity especially in geographic information sciences due to the pervasiveness of all kinds of location-based or environmental devices that record position, time or/and environmental properties of an object or set of objects in real-time. As a consequence, different types and large amounts of spatio-temporal data became available that introduce new challenges to data analysis and require novel approaches to knowledge discovery. In this chapter we concentrate on the spatio-temporal clustering in geographic space. First, we provide a classification of different types of spatio-temporal data. Then, we focus on one type of spatio-temporal clustering - trajectory clustering, provide an overview of the state-of-the-art approaches and methods of spatio-temporal clustering and finally present several scenarios in different application domains such as movement, cellular networks and environmental studies.

See at: CNR People


2016 Report Unknown

Sviluppo di una ontologia per la rappresentazione della storia clinica in ambito medico
Versienti L.
The aim of the present technical report is to describe the ontology developed to define the medical history of the patients involved in the RIS project

See at: puma.isti.cnr.it | CNR People


2013 Article Unknown

MIDAS: automated SOA testing on the cloud
Alberto De Francesco, Claudia Di Napoli, Marc-florian Wendland, Fabio De Rosa
MIDAS is a research project funded by the European Commission under the Seventh Framework Programme. Its goal is to design and build an integrated framework for the automation of Service Oriented Architecture (SOA) testing able to cover the complete lifecycle of software testing (test generation, execution, evaluation, planning and scheduling). The framework will be made available as Testing as a Service (TaaS) on a public Cloud infrastructure, so as to accommodate, in an affordable way, the varying and sometimes unpredictable computational requirements typical of testing activities.Source: ERCIM news 95 (2013): 46–46.

See at: ercim-news.ercim.eu | CNR People


2011 Article Unknown

Loss tolerant video streaming authentication in heterogeneous wireless networks
Chessa Stefano, Giunta Gaetano, Oligeri Gabriele
Multicast video streaming in heterogeneous networks undergoes to very different physical constraints, in fact, such networks are characterized by different QoS parameters, involving one or more transcoding process between the sender and the receivers. Video streaming authentication algorithms must be robust to transcoding processes and must guarantee the copyright of the video owner/producer. We propose a real-time video streaming authentication algorithm that can guarantee the copyright of the video owner and that we prove to be robust to packet loss and transcoding processes.Source: Computer communications 34 (2011): 1307–1315. doi:10.1016/j.comcom.2010.12.018
DOI: 10.1016/j.comcom.2010.12.018

See at: DOI Resolver | CNR People | www.sciencedirect.com


2007 Report Unknown

OCTOPUS: una infrastruttura software per biblioteche digitali
Carlesi C., Biagioni S.
The report aims at illustrating the OCTOPUS system. OCTOPUS is a software that can be used to create Digital Libraries. It offers a full range of digital library services including paper submission, indexing, searching, browsing and administration. The system can be extended with other services to meet the requirements of different user community.

See at: puma.isti.cnr.it | CNR People


2015 Conference object Unknown

Virtual research environments as-a-Service
Candela L., Pagano P.
In this presentation it is discussed the experience made by a series of initiatives and projects (e.g. D4Science and iMarine) enabling the creation and provisioning of Virtual Research Environments by the as-a-Service paradigm. In particular, it is presented the gCube technology by focusing on the mechanisms enabling the automatic creation and operation of VREs by relying on an extended resource space (comprising datasets, functionalities, services) built by aggregating constituents from existing Infrastructures and Information Systems. This mechanism envisages a definition phase and a deployment phase.Source: EGI Community Forum 2015, Bari, italy, 10-13/11/2015

See at: indico.egi.eu | CNR People


2006 Other Unknown

MeshLab
Cignoni, P., Ranzuglia, G.
MeshLab: Un sistema il processing interattivo di mesh tridimensionali. Il sistema permette di convertire, pulire, correggere, semplificare e raffinare mesh 3D non strutturate, fornendo un ausilio indispensabile nel processing dei dati ottenuti da scansioni tridimensionali. E' probabilmente il sistema software open source piu' diffusto tra quelli prodotti all'interno dell'ISTI.

See at: meshlab.sf.net | CNR People


2001 Report Unknown

TAn2 - Visualization of large irregular volume datasets
Cignoni P., De Floriani L., Magillo P., Puppo E., Scopigno R.

See at: CNR People


2010 Report Unknown

Towards automated dependability analysis of dynamically connected syste
Masci P., Martinucci M., Di Giandomenico F.
Dynamic environments may include autonomous and decentralised components that pose many challenges from the point of view of interoperability, thus triggering research studies in several directions. One of these challenges is the investigation of the automatic composition of heterogeneous systems willing to communicate, by synthesising at run-time the connectors that allow interoperation. Besides functional properties, synthesised connectors generally need to satisfy also non-functional (dependability-related) properties. This paper investigates the definition of an automated procedure to support the synthesis of dependable connectors. Index Terms Stochastic modelling, autonomous systems interoperation, automated dependability analysis. I. INTRODUCTION Ubiquitous computing refers to a vision of technology where devices are seamlessly integrated in the environment and everyone benefits from their services without even being aware of their presence [1]. In such a vision, complex and pervasive systems are expected to be composed of autonomous and decentralised components that cooperate or require services on the basis of specific needs. Pervasive systems may evolve along time, rely on heterogeneous communication protocols, and dynamically establish communication at run-time. The fast pace at which technology evolves continuously undermines the effectiveness of such systems because ubiquitous systems components need to exchange information, but this ability is generally linked to the level of interoperability of their underlying technologies.Project(s): CONNECT via OpenAIRE

See at: CNR People


2015 Report Unknown

Progress-M 27M reentry predictions issued to the Italian Space Agency for the Civil Protection Department and frequently asked questions on uncontrolled satellite decays
Pardini C., Anselmo L.
Collection of the Progress-M 27M reentry predictions issued by ISTI/CNR to the Italian Space Agency for the National Civil Protection Department and frequently asked questions on uncontrolled satellite decays.

See at: CNR People


2005 Conference object Unknown

Adaptative optimal bandwidth partitioning among TCP elephant connections over multiple rain-faded satellite channels
Celandroni N., Davoli F., Ferro E., Gotta A.
The assignment of a common bandwidth resource to TCP connections over a satellite channel is considered in the paper. The connections are grouped according to their source-destination pairs, corresponding to up- and down-link channels traversed, and each group may experience different fading conditions. By exploiting the tradeoff between bandwidth and channel redundancy (as determined by bit and coding rates) in the maximization of TCP goodput, an overall optimization problem is constructed, which can be solved by numerical techniques. Different relations between goodput maximization and fairness of the allocation are investigated. The allocation strategies are tested and compared in a real dynamic fading environment.Source: International Workshop on QoS in Multiservice IP Networks QoS - IP, pp. 559–573, Catania, Italy, 2-4 February 2005

See at: CNR People


2001 Conference object Unknown

Modeling and analysis of the behavior of GPRS systems
Tataranni F., Porcarelli L., Di Giandomenico F., Bondavalli A., Simoncini

See at: CNR People