4737 search results - page 55 / 948 » The LOGIC negotiation model |
EUSFLAT
2009
13 years 6 months ago
2009
ENTCS
2006
13 years 9 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
KESAMSTA
2009
Springer
14 years 1 months ago
2009
Springer
ent Artificial Immune Systems (MAAIS) for Intrusion Detection: Abstraction from Danger Theory Chung-Ming Ou, C.R. Ou Ants-like Agents: a Model and Analysis Based on Natural Ants Be...
CAISE
2008
Springer
13 years 11 months ago
2008
Springer
Building on earlier empirical work we have designed a prototype that supports modeling in groups. The COllaborative Modeling Architecture tool (COMA tool) coordinates UML modeling ...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...