10700 search results - page 1797 / 2140 » Generative Design Patterns |
191
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
172
click to vote
WAC
2005
Springer
16 years 8 days ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
193
click to vote
WINE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present a cooperative game theoretic interpretation of the shortest path problem. We consider a buying agent who has a budget to go from a specified sou...
182
click to vote
ACMACE
2004
ACM
16 years 7 days ago
2004
ACM
We introduce a multi-agent framework to generate reports of players' activities within multi-player computer games so that other players who are currently unable to participa...
198
Voted
ERLANG
2004
ACM
16 years 7 days ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...