Sciweavers

5622 search results - page 61 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
OOPSLA
2005
Springer
15 years 6 months ago
Modeling architectural patterns using architectural primitives
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...
Uwe Zdun, Paris Avgeriou
LPAR
2007
Springer
15 years 6 months ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
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...
Véronique Cortier, Stéphanie Delaune
102
Voted
SAC
2005
ACM
15 years 6 months ago
Knowledge based approach to semantic composition of teams in an organization
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...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
86
Voted
EPS
1995
Springer
15 years 4 months ago
Evolving the Architecture of a Multi-part Program in Genetic Programming Using Architecture-Altering Operations
: 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...
John R. Koza
87
Voted
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
15 years 6 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
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...
Adrian Craciun, Madalina Hodorog