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
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.
fmt.isti.cnr.it | CNR People
2013 Part of book or chapter of book Open Access
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
Hyper Article en Ligne | Hyper Article en Ligne | Hyper Article en Ligne | Flore (Florence Research Repository)
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 Resolver | CNR People | www.springerlink.com
2013 Conference object Open Access
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
Hyper Article en Ligne
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.
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.
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 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.
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
indico.egi.eu | CNR People
2006 Other Unknown
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.
meshlab.sf.net | 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 . 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
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