Towards a Formalisation of Electronic Contracting Environments

The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalizations at a number of levels have been created. One of the lowest levels, upon which the other levels are built is the normative level. At this level, we identify how contract clauses (modeled as norms) may evolve over time. In this paper, we describe this formalization, and show how we may associate various states with a norm throughout its lifecycle. We also show how more complex evaluations may be carried out over a norm, and conclude with an example showing the application of the framework over a contract and its associated norms.

Determining the Trustworthiness of New Electronic Contracts

Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation etc. For such automation to be used for real business concerns, there needs to be a high level of trust in the agent-based system. While there has been much research on simulating trust between agents, there are areas where such trust is harder to establish. In particular, contract proposals may come from parties that an agent has had no prior interaction with and, in competitive business-to-business environments, little reputation information may be available. In human practice, trust in a proposed contract is determined in part from the content of the proposal itself, and the similarity of the content to that of prior contracts, executed to varying degrees of success. In this paper, we argue that such analysis is also appropriate in automated systems, and to provide it we need systems to record salient details of prior contract use and algorithms for assessing proposals on their content. We use provenance technology to provide the former and detail algorithms for measuring contract success and similarity for the latter, applying them to an aerospace case study.

Electronic Business Contracts between Services

Electronic contracts mirror the paper versions exchanged between businesses today, and offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on service behaviour that are designed to ensure business objectives are met. Where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all, yet computer-parsable electronic contracts may allow such verification to be automated. In this chapter, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, and so on. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace aftermarket example.

Using Normative Markov Decision Processes for Evaluating Electronic Contracts: A Case Study in a Simulated Aerospace Aftermarket

Before signing electronic contracts, a rational agent should estimate the expected utilities of these contracts and calculate the violation risks related to them. In order to perform such pre-signing procedures, this agent has to be capable of computing a policy taking into account the norms and sanctions in the contracts. In relation to this, the contribution of this work is threefold. First, we present the Normative Markov Decision Process, an extension of the Markov Decision Process for explicitly representing norms. In order to illustrate the usage of our framework, we model an example in a simulated aerospace aftermarket. Second, we specify an algorithm for identifying the states of the process which characterize the violation of norms. Finally, we show how to compute policies with our framework and how to calculate the risk of violating the norms in the contracts by adopting a particular policy.

Robert Cornell, Technical Editor, Electronic Technician Magazine

New York Trade School graduate Robert Cornell is pictured at his desk in his position of Technical Editor, Electronic Technician Magazine. Original caption reads "Robert Cornell - Advanced Television 1954, was appointed Technical Editor of Electronic Technician Magazine in 1956 and has served with distinction since. He is President of CETA (Certified Electronic Technicians Association), which consists of alumni of the New York Trade School who are graduates of the Advanced Television Course. He was recently invited to serve a a member of the Attorney General's Committee seeking to establish safeguards to protect the public in the field of television servicing." Black and white photograph with caption to glued to reverse.

Brave New World, 2050: The Implications of Shifting to Electronic Collections

This futuristic article discusses the shift in academic and research libraries to electronic collections in the context of information access, costs, publication models, and preservation of content. Certain factors currently complicate the shift to electronic formats and challenge their widespread acceptance. Future scenarios spanning skill ecosystems, technologies and workflows, and societal implications are explored as logical outgrowths of present circumstances.

April 2000: Internet Caveats, Electronic Classroom

http://digitalcommons.winthrop.edu/dacusfocus/1010/thumbnail.jpg

Ah, Libraries: How I Love the Smell of... Electronic Access?!

In the olden days, we Baby-Boomers would walk into our university or college libraries and pause just long enough to take in that wonderful smells of high grade cowhide leather and aging papyrus before rushing off to study. There was something about opening any leather bound edition of anything and being transported by the smell to some distant land, not unlike Charles Swann in Marcel Proust’s famous French novel, A La Recherché du Temps Perdu, Remembrance of Things Past.

Antecedents of e-loyalty and electronic word-of-mouth

O objetivo principal da dissertação foi o de examinar a relação entre lealdade (e-loyalty) e o boca-a-boca (eWOM) no contexto do varejo eletrônico. Como objetivo secundário, foi feito uma verificação da significância das variáveis preditoras de e-loyalty. Essa pesquisa foi focada em um tipo de produto/serviço: compra de livros através da internet. Duzentos e quarenta e dois questionários online foram respondidos por um público representativo da geração Y (millennials), e rresidentes em diferentes localidades no Brasil e nos Estados Unidos. A análise de dados foi efetuada pela aplicação do método PLS-SEM sobre um modelo de pesquisa cuidadosamente formulado com base em resultados empíricos prévios. Enquanto que a relação entre e-loyalty e eWOM foi classificada como fraca, um ambiente de boca-a-boca online de alta qualidade representou uma variável preditora significativa para o sentimento de e-loyalty. Todas as variáveis preditoras foram classificadas como significativas nesse estudo, sendo que comprometimento tem o efeito mais forte sobre a variável e-loyalty.

Signatures of doubly charged Higgs in the SU(3)(L) circle times U(1)(N) model at the CERN LHC

The scalar sector of the simplest version of the 3-3-1 electroweak model is constructed with three Higgs triplets only. We show that a relation involving two of the constants of the model, two vacuum expectation values of the neutral scalars, and the mass of the doubly charged Higgs boson leads to important information concerning the signals of this scalar particle.

Criteria for analysis of the structure of electronic scientific journals

This paper is the result of the Masters dissertation studying the role and history of scientific communication, especially the changes that have occurred after the appearance of electronic communication and computer networks. This study showed that hypertext systems are increasingly being used in the scientific and academic world in the production of electronic journals; this makes it possible for the user to rapidly access information in their area. However, these systems need to be improved to help the user during search and access to information. Both printed journals migrating to electronic media, and the exclusively electronic journals should present the current quality indicators. The attempt was made to discover whether characteristics related to printed journals are being maintained in their electronic counterparts. For this, a prototype model was developed to analyze the structure of electronic scientific journals; it composes 14 criteria expressing aspects of quality for these journals. It includes elements of Website Information Architecture and those already in place in printed scientific journals in order to ensure that basic functions - archiving and dissemination - are maintained in electronic publishing. Each criterion consists of variables, which measure the maintenance of these functions both in the migrating printed journals and the exclusively electronic ones. This prototype model was used to analyze Ciência da Informação On-line and DataGramaZero - Revista de Ciência da Informação. Results indicate that this model is able to find out if the basic functions of archiving and dissemination are being maintained in electronic journals. Therefore, its implementation is justified in electronic journals. The model can help librarians, authors, and users of electronic journals to identify quality journals, and assist editors in developing their projects. The material from the study may be included in the preservice and inservice education of Information Science professionals and to support editors of scientific journals.

Performance evaluation on electronic control systemsfor field sprayers using programmable logic controllers

The aim of this study was to develop a laboratory method for time response evaluation on electronically controlled spray equipment using Programmable Logic Controllers (PLCs). For that purpose, a PLC controlled digital drive inverter was set up to drive an asynchronous electric motor linked to a centrifugal pump on a experimental sprayer equipped with electronic flow control. The PLC was operated via RS232 serial communication from a PC computer. A user program was written to control de motor by adjusting the following system variables, all related to the motor speed: time stopped; ramp up and ramp down times, time running at a given constant speed and ramp down time to stop the motor. This set up was used in conjunction with a data acquisition system to perform laboratory tests with an electronically controlled sprayer. Time response for pressure stabilization was measured while changing the pump speed by +/-20%. The results showed that for a 0.2 s ramp time increasing the motor speed, as an example, an AgLogix Flow Control system (Midwest Technologies Inc.) took 22 s in average to readjust the pressure. When decreasing the motor speed, this time response was down to 8 s. General results also showed that this kind of methodology could make easier the definition of standards for tests on electronically controlled application equipment.