4036 search results - page 309 / 808 » Formal Methods |
178
click to vote
COMMA
2006
15 years 8 months ago
2006
In this paper two formal dialectic systems are described, a persuasion protocol (PP0) and a negotiation protocol (NP0), together with a method for shifting from an instance of a pe...
167
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
146
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
Readers interested in the context of an event covered in the news such as the dismissal of a lawsuit can benefit from easily finding out about the overall news situation, the lega...
154
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
172
click to vote
SEKE
2004
Springer
16 years 20 hour ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...