3573 search results - page 55 / 715 » Reasoning about Codata |
181
click to vote
IPPS
2003
IEEE
16 years 23 days 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...
207
Voted
ATAL
2003
Springer
16 years 21 days 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...
144
Voted
TOOLS
2010
IEEE
16 years 17 days ago
2010
IEEE
145
Voted
AGENTS
2001
Springer
15 years 12 months ago
2001
Springer
Ì × Ô Ô Ö Ú ÐÓÔ× Ò Ú ÐÙ Ø × Ò Û × ÓÒ Ø ÓÖ Ø Ö Ñ ÛÓÖ Ò Û ÙØÓÒÓÑÓÙ× ÒØ× Ò Ñ Ö Ø ÓÒ Ð Ó × ÓÙØ ÓÓÖ Ò Ø Ò Ø Ö Ø ÓÒ×...