1347 search results - page 204 / 270 » An Approach to Software Evolution Based on Semantic Change |
AMAST
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
EUROMICRO
2007
IEEE
14 years 11 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
IADIS
2003
14 years 11 months ago
2003
A mobile agent is a software agent that has the ability to transfer its program code, data and execution state across a network to a remote computer for execution. In this paper, ...
119
click to vote
PR
2008
14 years 9 months ago
2008
This paper tackles the problem of surveillance video content modelling. Given a set of surveillance videos, the aims of our work are twofold: firstly a continuous video is segment...