Search results for "programming."
showing 10 items of 3035 documents
Interaction Mechanism of Humans in a Cyber-Physical Environment
2015
The research initiative “Industrie 4.0” (I4.0) of the high-tech strategy announced by the German government targets the deployment of a cyber-physical system (CPS) in production and logistics. Such CPS-based environments are characterized by an increasing number of heterogeneous intelligent autonomous and communicating artifacts tightly integrated with humans. Thus, the human’s role will become a composite factor (“man-in-the-mesh”) for this future CPS environment, playing more than just a simple role inside the control loop. This paper investigates the need of a robust communication between CPS and humans, which includes a clear semantic of the exchanged information. For this purpose, a me…
Mobile agents and grid computing
2004
Publisher Summary This chapter describes mobile agents as an effective solution for grid service provision. A short overview is first introduced on the grid paradigm and the most known research activities in the field. Then, mobile agents are discussed and a comparison with the remote procedure call (RPC) method is made as far as the most effective solution to minimize network overload and fault occurrences is concerned. The common feature of all grid architectures is a coordinated and controlled resource sharing between the members of a dynamic multi-institutional virtual community. Community members agree on a set of sharing rules and permissions, by which resources to be shared and membe…
Visualization of EDI messages
2003
Multi-organizational EDI message networks are complicated communication environments with various standards and technologies. The role of third party message exchange hubs has become more important and their tasks more difficult. Current development activities for supporting the utilization of XML in electronic commerce focuses on message standardization and specification of common business architectures, processes, and web practices. A need to visualize EDI messages in different contexts to human readers has received insufficient attention in ongoing activities. In this paper we discuss problems and approaches related to the visualization of EDI messages in XML format. An idea of a standar…
Improvement of a Service Level Negotiation Protocol using Formal Verification
2013
International audience; The goal of the pervasive connectivity is to enable mobile users to be permanently connected to the Internet. Mobile users are often connected to wireless networks and consuming services that require quality of service guarantees. Accessing services using wireless technologies may make the service delivery vulnerable to security attacks because of the open medium of these technologies. In this context, we need to guarantee both quality of service and security for mobile users communications. In this paper, we present a protocol for service level negotiation which covers both quality of service and security and assigns a profile to each user in order to optimize and a…
Does service quality matter in measuring the performance of water utilities?
2008
Abstract Quality is a dimension of water services that has been repeatedly omitted in the study of performance of water utilities. In this paper, Data Envelopment Analysis techniques are used to compute both conventional quantity-based and quality-adjusted scores of technical efficiency for a sample of Spanish water utilities. The key assumptions are that a lack of quality (bad quality) can be regarded as a bad output and the existence of a trade-off between quantity and quality. Our main results indicate that quality matters in measuring technical efficiency, the difference between conventional and quality-adjusted evaluations representing the opportunity cost of maintaining quality. Avera…
The Rail Quality Index as an Indicator of the “Global Comfort” in Optimizing Safety, Quality and Efficiency in Railway Rails
2012
AbstractThe proposed model uses the stochastic dynamic programming and in particular Markov decision processes applied to the Rail Quality Index (RQI - Italian Indice di Qualità del Binario, IQB).By performing the integrated analysis of the classes of variables which characterize the overall service quality (in terms of comfort and safety), the proposed mathematical approach allows to find the solutions to the decision-making process in function of the probability of deterioration of the state variables of the infrastructure over time and of the flow of available resources.
Reducing Local Alphabet Size in Recognizable Picture Languages
2021
A recognizable picture language is defined as the projection of a local picture language defined by a set of two-by-two tiles, i.e. by a strictly-locally-testable (SLT) language of order 2. The family of recognizable picture languages is also defined, using larger k by k tiles, \(k>2\), by the projection of the corresponding SLT language. A basic measure of the descriptive complexity of a picture language is given by the size of the SLT alphabet using two-by-two tiles, more precisely by the so-called alphabetic ratio of sizes: SLT-alphabet/picture-alphabet. We study how the alphabetic ratio changes moving from two to larger tile sizes, and we obtain the following result: any recognizable pi…
Manager's Toolbox for OSS/BSS Market Analysis
2009
The purpose of this section is to provide a set of quick tools for analysts and managers to analyze the status of the telecom operator software market.
On handling exceptions
1995
The current literature of information systems has dealt extensively with all kinds of exceptions. There are several studies defining the concept of exception and even providing classifications. However, no studies provide a method for verifying the rules in order to handle exceptions and to achieve the goals set by an organization's rules. In this paper, a model employing a set of unique input/output (UIO) sequences is presented for verifying such rules. The model originally presented for Finite State Machines (FSM) has been modified to include concepts of exception handling and will be used to form a tool usable for verifying exception handling rules in OISs.
JASP: a program to estimate discovery and exclusion limits in prospective studies of searches
1997
Abstract This program computes the discovery and exclusion limits that can be set in prospective studies of new experiments in the search for new phenomena. It properly takes into account the different outcomes that the experiment can obtain including the possible signal and background fluctuations. The procedure gives in general more conservative limits than those obtained assuming that the experiment will obtain a number of events equal to the expected mean. The difference may be essential in those cases where only one experiment is foreseen to be carried out.