3424 search results - page 486 / 685 » Automated Testing of Classes |
154
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
129
click to vote
ACMICEC
2004
ACM
15 years 10 months ago
2004
ACM
Automated negotiation by software agents is a key enabling technology for agent mediated e-commerce. To this end, this paper considers an important class of such negotiations — ...
133
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
141
click to vote
ILP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
139
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...