2136 search results - page 101 / 428 » A Game-Theoretic Operational Semantics |
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
—Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic anal...
NCA
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes a novel database replication algorithm that offers strong consistency (linearizable semantics) and allows reads and non-conflicting writes to execute in para...
CIA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...
ECMDAFA
2007
Springer
14 years 3 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
OOPSLA
1989
Springer
14 years 1 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...