3573 search results - page 55 / 715 » Reasoning about Codata |
147
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
156
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
121
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Ì × Ô Ô Ö Ú ÐÓÔ× Ò Ú ÐÙ Ø × Ò Û × ÓÒ Ø ÓÖ Ø Ö Ñ ÛÓÖ Ò Û ÙØÓÒÓÑÓÙ× ÒØ× Ò Ñ Ö Ø ÓÒ Ð Ó × ÓÙØ ÓÓÖ Ò Ø Ò Ø Ö Ø ÓÒ×...