7960 search results - page 134 / 1592 » Systems for Knowledge and Beliefs |
181
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Harvard architecture CPU design is common in the embedded world. Examples of Harvard-based architecture devices are the Mica family of wireless sensors. Mica motes have limited me...
160
click to vote
TCC
2010
Springer
16 years 3 months 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...
137
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
Thepurposeof this paperis to extendverificationtests to systemswith multiple autonomousagent knowledge bases.Usinga classic approachto verification, this paperfocuseson tests conc...
190
click to vote
KR
2010
Springer
15 years 10 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 ...
147
click to vote
WETICE
2003
IEEE
15 years 11 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 ...