878 search results - page 97 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
143
click to vote
GLVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
167
click to vote
ICAI
2003
15 years 7 months ago
2003
– Existing team training software often requires that trainees be organized as physical teams and the members of the same team be trained at the same time. To demonstrate that te...
155
click to vote
AAAI
1997
15 years 7 months ago
1997
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
167
click to vote
AAAI
2007
15 years 8 months ago
2007
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
169
click to vote
CSFW
2008
IEEE
16 years 25 days ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...