6581 search results - page 195 / 1317 » Formalizing Design Patterns |
170
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
154
click to vote
CACM
2010
15 years 6 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
152
click to vote
FAC
2008
15 years 6 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
177
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
157
Voted
ESOP
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...