5855 search results - page 947 / 1171 » Test generation and minimization with |
104
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
111
click to vote
UML
2005
Springer
15 years 7 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 ...
132
click to vote
ICCBR
2005
Springer
15 years 7 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...
108
Voted
JCDL
2004
ACM
15 years 7 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...
SAC
2004
ACM
15 years 7 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...