5622 search results - page 61 / 1125 » Solving architectural modelling problems using knowledge |
181
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...
152
click to vote
LPAR
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
167
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
145
click to vote
EPS
1995
Springer
15 years 9 months ago
1995
Springer
: This paper describes six new architecture-altering operations that provide a way to dynamically determine the architecture of a multipart program during a run of genetic programm...
143
click to vote
SYNASC
2007
IEEE
16 years 13 days ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...