11214 search results - page 322 / 2243 » Programming Multi-agent Systems |
149
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
176
click to vote
CRIWG
2006
15 years 8 months ago
2006
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...
181
click to vote
DSS
2006
15 years 6 months ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
185
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
179
click to vote
PR
2007
15 years 6 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...