Search
Now showing items 1-10 of 644
An approach to solve the Set Covering Problem with the Soccer League Competition algorithm
(Springer Verlag, 2016)
FVS: A declarative aspect oriented modeling language
(Sociedad Argentina de Informática E Investigación Operativa, 2011-04)
Very well known problems such as the fragility problem, the AOP paradox, or the aspect interference problem threaten aspect oriented application in the modeling phase. In this work we explore FVS, a declarative visual ...
Organizing Students’ Independent Work under the Guidance of a Foreign Language Teacher at the University
(Universidad del Zulia, 2019)
A GUI for modeling regular constraints
(Springer Verlag, 2013)
Um processo para o uso de linguagens de consulta em código fonte
(Universidade Federal de Santa MariaBRCiência da ComputaçãoUFSMPrograma de Pós-Graduação em Informática, 2012-11-08)
The search in the source code is gaining more and more space because of the increasing complexity of current software systems and also the need for improvements in source code. Although the paradigms of object-oriented ...
Sistema web para auxílio no treinamento para maratonas de programação
(Universidade Tecnológica Federal do ParanáPato Branco, 2012-10-09)
Programming contests, such as marathons and Olympics of programming, generally aim to
test the ability of logical reasoning and speed of participants in solving computational problems. The training, based on problem ...
An algebraic approach to the design of compilers for object-oriented languages
(2010)
In this paper we describe an algebraic approach to construct provably correct compilers for objectoriented
languages; this is illustrated for programs written in a language similar to a sequential subset of Java. It includes ...
Aspect-oriented modeling: Applying aspecs-oriented UML use cases and extending aspects-z
(SLOVAK ACAD SCIENCES INST INFORMATICS, DUBRAVSKA CESTA 9, 84237 BRATISLAVA, SLOVAKIA, 2013)
Distribution system restoration in a DG environment using a heuristic constructive multi-start algorithm
(2011-05-31)
This paper proposes a heuristic constructive multi-start algorithm (HCMA) to distribution system restoration in real time considering distributed generators installed in the system. The problem is modeled as nonlinear mixed ...
Distribution system restoration in a DG environment using a heuristic constructive multi-start algorithm
(2011-05-31)
This paper proposes a heuristic constructive multi-start algorithm (HCMA) to distribution system restoration in real time considering distributed generators installed in the system. The problem is modeled as nonlinear mixed ...