5591 search results - page 661 / 1119 » Design patterns: between programming and software design |
172
click to vote
AUSAI
2005
Springer
16 years 9 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
218
click to vote
OOIS
2000
Springer
15 years 10 months ago
2000
Springer
ABSTRACT. Cost-effective reconfiguration in ODBMSs is difficult to achieve due to the tradeoff between modularity and efficiency. Existing ODBMS designs offer limited reconfigurabi...
182
click to vote
PPDP
2000
Springer
15 years 10 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
187
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
198
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...