2514 search results - page 242 / 503 » The use of industrial-strength formal methods |
164
click to vote
ISTA
2003
15 years 8 months ago
2003
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
173
click to vote
COLING
1992
15 years 7 months ago
1992
The normal method for representing anaphoric dependencies in Unification Based grammar tbrmalisms is that of re-entrance. In this paper, we address the problems that this represen...
209
click to vote
IJIS
2002
15 years 6 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
161
click to vote
ECOOP
2005
Springer
16 years 3 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
164
click to vote
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
To render images from a three-dimensional array of sample values, it is necessary to interpolate between the samples. This paper is concerned with interpolation methods that are e...