2705 search results - page 293 / 541 » Formal Ontology for Subject |
101
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
109
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Language alignment is something that happens automatically in dialogues between human speakers. The ability to align is expected to increase the believability of virtual dialogue ...
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
115
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...