4299 search results - page 691 / 860 » Concurrent Test Generation |
133
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
153
Voted
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...
121
click to vote
JCDL
2004
ACM
15 years 9 months ago
2004
ACM
We describe PhotoCompas, a system that utilizes the time and location information embedded in digital photographs to automatically organize a personal photo collection. PhotoCompa...
114
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
133
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we demonstrate that the performance of a motif discovery algorithm can be significantly improved by embedding it into a novel framework that effectively guides the ...