A nalysing, in 1997, the likely impact of electronic commerce is about as easy as estimating the impact of the automobile a hundred years ago. Intuitively you know that the impact will be large, but as yet few people know how to drive, roads are of varying quality and garages and mechanics are nearly non-existent. With some confidence you can say that there will be a beneficial effect on supply...

The communication between a developer and a domain expert (or manager) is very important for successful deployment of formal methods. On the one hand it is crucial for the developer to get feedback from the domain expert for further development. On the other hand the domain expert needs to check whether his expectations are met. An animation tool allows to check the presence of desired function...

Our Journal's tendency towards the real world in applied linguistics and literary studies should have significant epistemological and methodological consequences in researching the fields. The interest in the real world makes the problems we may have in our everyday lives our 'points of departure' in research. According to my experience of research in our universities throughout their history, ...

This paper explores mappings, musings and ‘thought experiments’ in literary geography to consider how they may contribute geoethical pedagogy research. Representations of Prometheus from the fourteenth century onwards have traveled along three broad symbological roads: first, as creator, bringer fire; second a bound figure chains, thirdly, unbound. However, it was harnessing fire by our species...

BACKGROUND: The philosophical and theoretical values of nursing moved away from a systematic review the science experienced shift based on paradigms. results may be interpreted by several theorists in different ways. AIM: This paper aims to analyze development more comprehensive understanding toward meaning confidence concept nurses stimulated services health, person, environment resolutions di...

Current research in lexical semantics has brought into focus (i) the existence of general tendencies (’principles’) ac:o~ languages or inside language families, (ii) the existence of numerous exceptions to these tendencies. To reconcile these two facts, it seems natural to endorle s general conception of principles-withexceptions or ’subregularities ’1, usually cashed on a form of default logic...

A major problem in automated theorem proving is search control. Fully expanded proofs are generally built from a large number of relatively low-level inference steps, with the result that searching the space of possible proofs at this level is very expensive. Proof planning is a technique by which common proof techniques are encoded as schemas, which we call methods. Proofs built using methods ...

A method definition can be viewed as a logical assertion.Wheneverwe declare a method as the implementation of an operation, we assert that if the operation is invoked on objects of the appropriate types then the method body will satisfy the specificationof the operation. This view of methods as assertions is simple but general. Among its applications are: methods defined on interfaces as well a...