Software Product Line approach enables improved variability management by handling similar software products as a whole and expressing commonalities and variabilities implicitly which leads to high software reuse levels. This approach increases product quality, decreases costs and time-tomarket. In this work, firstly, problems encountered in software development efforts performed in scope of si...

RÉSUMÉ. Dans le cadre du problème de satisfaction de contraintes, nous proposons un nouveau schéma de recherche parallèle coopérative. La coopération est réalisée en échangeant des nogoods (instanciations qui ne peuvent être étendues en une solution). Nous associons un processus à chaque solveur et nous introduisons un gestionnaire de nogoods, afin de réguler les échanges de nogoods. Chaque sol...

E-Science is increasingly recognising the importance of provenance, that is the origin and subsequent history of a document, in assessing its value. We argue here that computer music can also benefit from incorporating indications of provenance at many levels. We recognise that the challenge is to create and maintain metadata noninvasively ... until, that is, the composer or musicologist wants ...

The concurrent logical framework CLF is an extension of the logical framework LF designed to specify concurrent and distributed languages. While it can be used to define a variety of formalisms, reasoning about such languages within CLF has proved elusive. In this paper, we propose an extension of LF that allows us to express properties of CLF specifications. We illustrate the approach with a p...

A 1994 opinion survey again shows Americans less satisfied with their health care system than Canadians and (West) Germans are with theirs. Americans also report more problems in paying for care and receiving needed services. However, overall satisfaction in Canada and Germany has fallen. Important cultural differences between the countries were identified. Americans have higher expectations fo...

These managers also enjoy remarkably favorable tax treatment. For example, even though “carried interest” — mainly their 20 percent commission on portfolio gains — has the look and feel of ordinary income, it is taxed at the 15 percent capital gains rate rather than the 35 percent top rate for ordinary income. That provision alone saved Mr. Simons several hundred million dollars in taxes last y...

Despite its old age, Lisp remains mysterious to many of its admirers. The mysteries on one hand fascinate the language, on the other hand also obscure it. Following Stoyan but paying attention to what he has neglected or omitted, in this first essay of a series intended to unravel these mysteries, we trace the development of Lisp back to its origin, revealing how the language has evolved into i...

This paper reports on system trust and interpersonal trust issues revealed in an embedded-case study of two telemedicine services offered by a teaching hospital. Consistent with McKnight (2005) perceived system competence was an important dimension of system trustworthiness. Drawing on representation theory (Wand and Weber, 1995) we observed: 1. Some clinicians feel telemedicine provides a bett...

Mediated settlement conferences are new to North Carolina. I feel confident that this procedure will be cost effective in the long run and I appreciate your efforts to make it successful. Although this case did not settle, I hope that it helped you and your insured assess the strength of your case and streamline the preparation for trial. It is also possible that the conference will serve as a ...