7766 search results - page 265 / 1554 » Testing Nondeterminate Systems |
172
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...
159
click to vote
DLOG
2003
15 years 8 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
164
click to vote
PTS
2003
15 years 8 months ago
2003
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
186
click to vote
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
151
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...