5205 search results - page 849 / 1041 » Tilings and model theory |
157
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Most of the research on multiagent systems has focused on the development of rational utility-maximizing agents. However, research shows that emotions have a strong effect on peo...
159
click to vote
CCIA
2007
Springer
16 years 22 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
173
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
194
click to vote
ECAL
2007
Springer
16 years 22 days ago
2007
Springer
The “order for free” exhibited by some classes of system has been exploited by natural selection in order to build systems capable of exhibiting complex behaviour. Here we expl...
170
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...