15754 search results - page 649 / 3151 » Programs are Knowledge Bases |
189
click to vote
TSP
2010
15 years 2 months ago
2010
This paper considers the downlink beamforming optimization problem that minimizes the total transmission power subject to global shaping constraints and individual shaping constrai...
325
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
194
Voted
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
161
Voted
KI
2004
Springer
16 years 19 days ago
2004
Springer
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
217
Voted
CC
2003
Springer
16 years 15 days ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...