4737 search results - page 55 / 948 » The LOGIC negotiation model |
152
click to vote
ENTCS
2006
15 years 6 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...
198
click to vote
KESAMSTA
2009
Springer
15 years 10 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...
180
click to vote
CAISE
2008
Springer
15 years 8 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 ...
166
click to vote
FOSSACS
2008
Springer
15 years 7 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...