8031 search results - page 175 / 1607 » Knowledge and Workflow Systems |
123
click to vote
TCC
2010
Springer
16 years 27 days ago
2010
Springer
Goldreich-Krawczyk (Siam J of Comp’96) showed that only languages in BPP have constant-round public-coin black-box zero-knowledge protocols. We extend their lower bound to “ful...
109
click to vote
DEXAW
1998
IEEE
15 years 8 months ago
1998
IEEE
Thepurposeof this paperis to extendverificationtests to systemswith multiple autonomousagent knowledge bases.Usinga classic approachto verification, this paperfocuseson tests conc...
150
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
112
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
117
click to vote
WICSA
2007
15 years 5 months ago
2007
This paper presents an assessment case study on the evolutionary capability of a large software system using a knowledge-based approach. The knowledge-based assessment is based on...