REFSQ
2016
Springer
8 years 3 months ago
2016
Springer
Abstract. [Context and motivation] In the last years, a considerable number of solutions were developed for self-adaptive systems (SAS). These solutions are based on a feedback loo...
REFSQ
2016
Springer
8 years 3 months ago
2016
Springer
Users of Social Network Sites (SNSs) spend considerable amounts of hours per day exchanging (consuming or sharing) information and using services provided by such platforms. Howeve...
REFSQ
2016
Springer
8 years 3 months ago
2016
Springer
[Motivation] In the engineering of cyber-physical systems, attention is given to early validation of requirements artifacts. The use of prototypes is one known technique to identif...
REFSQ
2016
Springer
8 years 3 months ago
2016
Springer
REFSQ
2016
Springer
8 years 3 months ago
2016
Springer
RE
2016
Springer
8 years 3 months ago
2016
Springer
: Process models describe someone’s understanding of processes. Processes can be described using unstructured, semi-formal or diagrammatic representation forms. These representat...
PEPM
2016
ACM
8 years 3 months ago
2016
ACM
Constructing parsers based on declarative specification of operator precedence is a very old research topic, and there are various existing approaches. However, these approaches ...
PEPM
2016
ACM
8 years 3 months ago
2016
ACM
Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads. This leaves p...
PEPM
2016
ACM
8 years 3 months ago
2016
ACM
Staging is a program generation paradigm with a clean, wellinvestigated semantics which statically ensures that the generated code is always well-typed and well-scoped. Staging is...
PEPM
2016
ACM
8 years 3 months ago
2016
ACM
This paper relates 2-level λ-calculus and staged λ-calculus (restricted to 2 stages) to obtain monovariant binding-time analysis for λ-calculus that produces the output in the ...