15792 search results - page 2600 / 3159 » Computational Abstraction Steps |
233
click to vote
MIDDLEWARE
2004
Springer
16 years 17 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
236
click to vote
ROBOCUP
2004
Springer
16 years 17 days ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
205
click to vote
ASM
2003
ASM
16 years 13 days ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
215
click to vote
CAISE
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
234
click to vote
PLDI
2010
ACM
16 years 8 days ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...