4299 search results - page 691 / 860 » Concurrent Test Generation |
194
Voted
UML
2005
Springer
16 years 14 days 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 ...
208
Voted
ICCBR
2005
Springer
16 years 13 days 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...
178
click to vote
JCDL
2004
ACM
16 years 13 days 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...
168
Voted
SAC
2004
ACM
16 years 13 days 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...
190
Voted
SAC
2004
ACM
16 years 13 days 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 ...