3595 search results - page 170 / 719 » Roles of Program Extension |
143
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Virtual Organizations (VOs) are becoming an increasingly important research topic in the field of Multi-Agent Systems (MAS). The problem of selecting suitable counterparts to inte...
136
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Multiagent research provides an extensive literature on formal Belief-Desire-Intention (BDI) based models describing the notions of teamwork and cooperation, but adversarial and c...
120
click to vote
I3E
2003
15 years 6 months ago
2003
: Fiscal incomes are vital for Governments, both for central and local agencies, therefore on-line fiscal services will play a key role in the e-Government perspective. The creatio...
125
Voted
ENTCS
2000
15 years 4 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
284
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...