Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
This paper discusses an implementation of runtime verification for embedded software running on a System-on-Programmable-Chip (SoPC) composed of a micro-controller and a FPGA. The goal is to verify at runtime that the execution of the software on the micro-controller conforms to a set of properties. To do so, a minimal instrumentation of the software is used to send events to a set of monitors implemented...
Software-defined networking (SDN) envisions the support of multiple applications collaboratively operating on the same traffic. Policies of applications are therefore required to being composed into a rule list that represents the union of application intents. In this context, ensuring the correctness and efficiency of composition for match fields as well as the associated actions is the fundamental...
Recently, several works propose monitoring approaches for the emerged paradigm of Software-defined Networking. These provide a couple of ideas to retrieve various information about the network state leveraging new concepts for monitoring data collection at flow-level. As existing approaches reduce their scope to networks with a single controller, even sophisticated approaches ignore a potentially...
While physically disabled people usually do not need to be followed by educators, the circumstances are reversed when dealing with patients affected by any form of mental illness. In this cases, the main focus should be on personal awareness and social rehabilitation requirements. In this context, the increasing availability of broadband technology at home, along with wireless (sensor) networks and...
SystemC Transaction-level modeling (TLM) provides high-level component-based models for SoCs, for which assertion-Based-Verification (ABV) allows property checking early in the design cycle. We introduce the notion of loose-ordering to specify when components interact with each other and we propose a set of patterns to capture this notion in assertions. This new notion can already be expressed in...
E-learning is becoming more and more a strategic choice of modern educational systems in the world. Consequently the requirements of the platforms used are eminent. One of the requirements on which our work has focused is how to make the job of a tutor, automatic and intelligent. Given that the role of a Tutor is reflected essentially by the appropriate decision-making to a critical situation, what...
An architecture for a service-oriented open-source cloud-based software platform for the energy domain is developed based on an analysis of the results of the FIWARE-based FINESCE project. A proposal to incrementally develop the platform through a consortium of partners from utilities, ICT companies and service providers is outlined. This collaborative approach is considered to be sustainable because...
There are a number of user-centric applications that use data from sensors in a personal area network. The heavy dependence of such applications on sensors means that if a sensor is not available (e.g. a user forgets to carry a sensor device), some applications might not work properly or even fail. However, the data generated from a sensor that is unavailable can be derived from other devices or a...
Mobile technology has become a staple in our society. It plays a crucial and profound role inassisting learners (despite their level and age) in their leaning process using various apparatus and mobile devices (laptop, tablets …). This paper presents a new learning framework based on tablets. This solution has been developed and tested in Esprit "Ecole Supérieure Privée d'Igénieurie et de Technologies",...
Internet Exchange Points (IXPs) are fundamental blocks of the Internet ecosystem by providing cost-effective connections among multiple autonomous systems (ASes). One of the main management challenges in IXP networks is the management of the so-called elephant flows. Elephant flows, characterized by high throughput and long duration, represent a small fraction of the total flows of an IXP network...
Identity management (IdM) systems employ Identity Providers (IdPs), as guardians of users' critical information. However, Distributed Denial-of-Service (DDoS) attacks can make IdPs operations unavailable, compromising legitimate users. In the literature, the main countermeasures against DDoS attacks are based on either the application of external resources to extend the system lifetime (replication)...
Service level agreements (SLAs) are considered not only a central tool for managing QoS compliance, but also a differentiating factor between service implementations. In today's application environments with fast instrumentation deployment cycles in hybrid Cloud platforms, managing QoS compliance poses tremendous challenges, including how to deliver solutions that live up to promised QoS properties...
Minimizing energy-consumption is an important aspect in the creation of network stacks optimized for resource constrained embedded systems. In this abstract we present our approach of using a lightweight monitor inside the Contiki firmware to investigate energy consumption issues. We also present a first result that we obtained with this approach.
A Human health control monitor system (HHCMSes) is a mobile medical application is used to detect continuous monitoring and manage the human body blood glucoses levels. HHCMS promises to give to extend the life period of human being. HHCMSes is a testing device very efficient to monitor the glucoses levels. Sensor can wear anywhere in our human body as like as wrist watches. A sensor connects to smart...
Human activity recognition using mobile sensors is becoming increasingly important. Scaling up from individuals to groups, that is, Group Activity Recognition (GAR), has attracted significant attention recently. This paper investigates energy consumption for GAR and proposes a novel distributed middleware called GroupSense for mobile GAR. We implemented and tested GroupSense, which incorporates a...
One application of robotics is to assist humans in the achievement of tasks they face in both the workplace and domestic environments. In some situations, a task may require the robot and the human to act together in a collaborative way in order to reach a common goal. To achieve a collaborative plan, each agent (human, robot) needs to be aware of the tasks she/he must carry out and how to perform...
We present a study that examines the efficiency and usability of three different interfaces for specifying which objects should be kept private (i.e., not visible) in an office environment. Our study context is a robot “janitor” system that has the ability to blur out specified objects from its video feed. One interface is a traditional point-and-click GUI on a computer monitor, while the other two...
When a robot has to execute a shared plan with a human, a number of unexpected situations and contingencies can happen due, essentially, to human initiative. For instance, a temporary absence or inattention of the human can entail a partial, and potentially not sufficient, knowledge about the current situation. To ensure a successful and fluent execution of the shared plan the robot might need to...
Architectural rules are often defined but rarely tested. Current tools offer limited functionality and often require significant effort to be configured, automated and integrated within existing platforms. We propose a platform that is aimed at reducing the overall cost of setting up and maintaining an architectural conformance monitoring environment by decoupling the conceptual representation of...
For information dissemination in highly dynamic vehicular networks, two technological approaches can be considered: Cellular communication standards are continually evolving to incorporate the requirements of vehicular applications. An alternative is ad-hoc communication which is restricted to direct, short range communication between vehicles/road-side units. Currently, no single technology can fulfill...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.