4592 search results - page 361 / 919 » Framework for Studying Substitution |
214
click to vote
HPCN
2000
Springer
15 years 11 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
181
click to vote
ECOOP
1995
Springer
15 years 11 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
184
click to vote
DAGSTUHL
2007
15 years 9 months ago
2007
Approximations can aim at having close to optimal value or, alternatively, they can aim at structurally resembling an optimal solution. Whereas value-approximation has been extensi...
217
click to vote
IJCAI
2007
15 years 9 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
146
click to vote
ACE
2004
15 years 9 months ago
2004
As the scope of computer science continues to expand and move further into inter-disciplinary research, we see communication skills development (CSD) gain prominence in tertiary c...