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.
Sequential Function Chart (SFC) is a powerful graphical formalism for the specification of logic controllers that is well recognized and very successful in industry. In this paper, a scheme for the automatic translation of SFCs into the Compositional Interchange Format (CIF) for hybrid systems is presented that enables the straightforward connection of SFC controllers to CIF models of the controlled...
Wireless mesh Networks (WMNs) are a prominent paradigm of wireless communication that have been widely used in many applications. The growing popularity of such networks opened the door to a profusion of attacks that may target their core functioning leading to a harmful impact on their performance. Hence, the need of robust and fast detection of those attacks became a major prerequisite in order...
According to the Internet of Services vision, composite services are created by composing services to complex business processes. The relationships between services in a composition are defined by Service Level Agreements (SLAs). Managing composite SLAs is a complex task which is currently performed manually. In this paper we present an approach for automating the management of composite SLAs by exploiting...
Many emerging wireless networks provide multi-rate facilities. How to explore the rate diversity is a new research interest. The commonly used Auto Rate Feedback (ARF) provides a flexibility of switching among the available rates. However, ARF can only passively react to the signal quality experienced at the receiver. In some occasions, we need to actively improve the signal quality in order to make...
The SHELL project aims at implementing state of art technologies in the domains of Wireless Sensor Networks, Ambient Intelligence, Context Awareness, Automated Learning, in order to design a new concept for assisting people affected by mental diseases or living alone. The goal to achieve is a modular device kit system, easy to deploy and to use, which will be able to learn to peculiar habits of the...
Infrastructure systems are crucial to the functioning of society. Their long-term planning is therefore of great importance. Uncertainty about the future conditions under which an infrastructure system will function is of particular importance for successful long-term planning. The uncertainties about the future encountered in the long term planning of infrastructure systems is increasing due to developments...
This paper examines the possibility of MPLS-based network to perform adaptive routing based on traffic engineering and the possibilities of using the network simulator for testing network architectures that are capable of adaptive routing. The analysis of existing architectures and mechanisms for traffic engineering showed that the considered architecture shown stationarity and can not follow the...
In open pervasive computing environment, various devices and applications are frequently changeable. It is hard to authenticate strange entities for lack of centralized management authority. In order to solve access control problem in open pervasive environment, a trust based access control framework is introduced in this paper, and a corresponding prototype system is designed, implemented and integrated...
We show that the diagnosability problem on a Petri net can be re-formulated in terms of LTL-X model checking. The advantage of this is that existing efficient methods and tools can be employed, in particular parallel model checking based on Petri net unfoldings. The experimental results show that this approach is efficient, and a good level of parallelisation can be achieved.
Run-time adaptation to changes to Web service compositions usually can be done in more than one way. MiniMASC+MiniZinc is a middleware that makes instance-specific adaptation decisions that maximize business value. Multiple instance adaptation decision problems are modeled in the constraint programming specification language MiniZinc, while information about alternative adaptations is specified as...
The software on the internet called internet ware is increasing rapidly. The internet ware has the characteristics of self-adaptation, dynamic collaboration, open, online evolution and environment-awareness. As the composite element, autonomous component should have the self-decision capability to support self-management. This paper proposed an autonomous component entity by extending BDI agent model...
In order to ensure the optimum allocation of resources, the collecting and aggregating information among management computers, power apparatus, communication devices, transmission lines and so on in electrical network will grow more and more important. In this paper, the management system enable exchange and readily use information securely and effectively between two or more networks, systems, devices,...
Resource Discovery and Resource Selection are the crucial tasks in grid scheduling and resource management. The goal of resource discovery and selection is to identify list of authenticated resources that are available in the grid for job submission and to choose the best node. Recently adaptive push-pull method was proposed for information dissemination of information for dynamic web data. In this...
On interactive surfaces, a precise calibration of the tracking system is necessary for an exact user interaction. So far, common calibration techniques focus on eliminating geometric distortions. This static calibration is only correct for a specific viewpoint of one single user and parallax error distortions still occur if this changes (i.e. if the user moves in front of the digital screen). In order...
As the visits to databases in the network application become more and more, the DBMS, which is the core of network calculation, attracts increasing attention. The research on the self-calculating, which mainly includes self-configuring, self-restoring, self-optimizing and self-protecting, handles the internal resources management of the DBMS. But it can't handle the management of external workload...
Nowadays, new management paradigms are based on more and more autonomous and decentralized decision-making. Thus, an adaptive management of the volume and the quantity of information supplied by the monitorisng mechanisms is essential. This paper presents works in progress carried out to facilitate the automation of the monitoring processes adaptation. It focuses on a control-oriented characterization...
Dynamically adaptive systems propose adaptation by means of variants that are specified in the system model at design time and allow for a fixed set of different runtime configurations. However, in a dynamic environment, unanticipated changes may result in the inability of the system to meet its quality requirements. To allow the system to react to these changes we propose a solution for automatically...
A new methodology of distributed mobile geographic information system (GIS) grid model is studied based on mobile agent and grid computing environment. Key technologies are presented in the model, including mobile agent (MA) distributed computing, grid computing, mobile GIS, global positioning system (GPS), transfer control protocol/internet protocol (TCP/IP), and user datagram protocol (UDP). In...
Electrical grids are highly complex and dynamic systems that can be unreliable, insecure, and inefficient in serving end consumers. The promise of Smart Grids lies in the architecting and developing of intelligent distributed and networked systems for automated monitoring and controlling of the grid to improve performance. We have designed an agent-oriented architecture for a simulation which can...
Presently, smart interconnected heterogeneous devices with built-in GPS, Wi-Fi, and Bluetooth capabilities are more affordable, resulting in numerous novel mobile applications. To adapt applications based on the environment they are executed in, we perform context management by proactively monitoring the (network- and location- based) context information available in such devices and applications...
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.