5550 search results - page 116 / 1110 » Different Approaches to Proof Systems |
152
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
186
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
156
click to vote
IAT
2005
IEEE
16 years 7 hour ago
2005
IEEE
Choosing when to communicate is a fundamental problem in multi-agent systems. This problem becomes particularly hard when communication is constrained and each agent has different...
173
click to vote
RTAS
2000
IEEE
15 years 10 months ago
2000
IEEE
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...
175
click to vote
MAICS
2003
15 years 7 months ago
2003
A multiagent goal transformation is defined as a directed alteration of goals by the agents in a multiagent system in order to adjust for lack of resources and/or lack of capabili...