705 search results - page 14 / 141 » Towards Aspectual i* |
76
Voted
IMTCI
2004
Springer
15 years 5 months ago
2004
Springer
OPODIS
2004
15 years 1 months ago
2004
105
click to vote
CSL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
112
click to vote
ENTCS
2002
14 years 12 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
IMC
2010
ACM
14 years 10 months ago
2010
ACM
Current large-scale topology mapping systems require multiple days to characterize the Internet due to the large amount of probing traffic they incur. The accuracy of maps from ex...