14,006 Hits in 7.0 sec

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios [chapter]

Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
2021 Lecture Notes in Computer Science  
, we propose a technique that automatically tailors an abstract interpreter to the code under analysis and any given resource constraints.  ...  A major hurdle in integrating them in the software-development life cycle is tuning their options to custom usage scenarios, such as a particular code base or certain resource constraints.In this paper  ...  We are grateful to the reviewers for their constructive feedback. This work was supported by DFG grant 389792660 as part of TRR 248 (see https://  ... 
doi:10.1007/978-3-030-81688-9_36 fatcat:2awuik57lfgz5bhmezpogcdkgq

Automatically Tailoring Static Analysis to Custom Usage Scenarios [article]

Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
2020 arXiv   pre-print
In this paper, we propose a technique that automatically tailors a static analyzer, specifically an abstract interpreter, to the code under analysis and any given resource constraints.  ...  A major hurdle in integrating static analyzers in the software-development life cycle is tuning their options to custom usage scenarios, such as a particular code base or certain resource constraints.  ...  To address this issue, we present the first technique that automatically tailors a generic abstract interpreter to a custom usage scenario.  ... 
arXiv:2009.13860v2 fatcat:irk4xvezanc4jp3bftr5ilqquy

Emergent Model-Driven Engineering Ecosystems by means of Patterns

Antonio Cichetti
2015 International Conference on Software Technologies: Applications and Foundations  
Domain experts, i.e. the stakeholders of languages and transformations, would like to independently define and use their own MDE ecosystem, but can only support those activities.  ...  In this position paper we discuss this problem from a more general perspective, arguing for the need of emergent MDE, that is modelling languages and transformations shall be inferred from the usage it  ...  Acknowledgements The author would like to thank Federico Ciccozzi and Alfonso Pierantonio for the interesting discussions on the topics covered in this work.  ... 
dblp:conf/staf/Cichetti15 fatcat:d6guxpaylvhirlio4g4vyjmriu

Taxonomy of architectural style usage

Simon Giesecke
2006 Proceedings of the 2006 conference on Pattern languages of programs - PLoP '06  
We use the term "architectural styles" to refer to high-level design patterns. We identified five major usages: ad-hoc, platformoriented, customized, pre-modeling and post-documentation/analysis.  ...  In addition generic and reference architectures are compared to architectural styles based on their usage.  ...  Customized styles can be both abstract and technical in nature.  ... 
doi:10.1145/1415472.1415510 fatcat:kg6ibwh5nfh4dhazrxrlrl453u

Visual generative behavior patterns to facilitate game development

Bram Pellens, Olga De Troyer, Frederic Kleinerman
2009 Proceedings of the 2009 Conference on Future Play on @ GDC Canada - FuturePlay '09  
Selecting this pattern will automatically drop the visual representation onto the drawing canvas and the designer can start customizing the pattern to the scenario.  ...  Furthermore, these languages are not tailored for games which also do not make them easier.  ... 
doi:10.1145/1639601.1639610 dblp:conf/fplay/PellensTK09 fatcat:sk6thm4gergc7humfm5krjilxe

Concern-oriented language development (COLD): Fostering reuse in language engineering

Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Olivier Barais, Erwan Bousse, Walter Cazzola, Philippe Collet, Thomas Degueule, Robert Heinrich, Jean-Marc Jézéquel, Manuel Leduc, Tanja Mayerhofer (+4 others)
2018 Computer languages, systems & structures  
variability management, (2) customization to a specific context, and (3) proper usage of the reused artifact.  ...  Techniques to reuse from one DSL to another and to support customization to meet new requirements are thus particularly welcomed.  ...  variability management, (2) customization to a specific context, and (3) proper usage of the reused artifact.  ... 
doi:10.1016/ fatcat:z2xmx7jrfrcgdovwgnhydtxanm

ActiveGuidelines: integrating Web-based guidelines with computer-based patient records

P C Tang, C Y Young
2000 Proceedings. AMIA Symposium  
In our usage scenario, the CPR automatically displays ActiveGuidelines relevant to the current patient context.  ...  The selected orders are automatically transmitted to the CPR and executed as regular orders.  ...  patient-our example. tailored recommendations to the CPR without requiring users to read through the guideline themselves.  ... 
pmid:11080003 pmcid:PMC2243807 fatcat:2zuqklxmaneerorcwtb2njyg2e

A Tool for Supporting and Automating the Development of Component-based Embedded Systems

Rafael L. Cancian, Marcelo R. Stemmer, Alexandre Schulter, Antônio A. M. Fröhlich
2007 Journal of Object Technology  
To illustrate this process and the tool's usage, this paper describes a case study of the generation of an embedded system that supports a simple audio decoder application.  ...  To deliver each application a tailored run-time support system calls for a good combination of object oriented techniques, the separation of functional and non-functional aspects, some implementation techniques  ...  A scenario adapter wraps an abstraction, intermediating its communication with scenario-dependent clients to perform the necessary scenario adaptations.  ... 
doi:10.5381/jot.2007.6.9.a20 fatcat:qdlpolvnvvgyzcrfznyberogfe

CARVE: Context-aware automatic view definition over relational databases

Cristiana Bolchini, Elisa Quintarelli, Letizia Tanca
2013 Information Systems  
The methodological approach includes a context-design phase, followed by a phase when each of the possible application contexts is automatically associated with its relevant part of information (context-aware  ...  Accordingly, CARVE is based on a context model, on guidelines to define partial views related to components of the context, and on a set of operators used to perform partial-view composition to derive  ...  We wish to thank the anonymous referees for their accurate and acute observations that allowed us to improve the paper.  ... 
doi:10.1016/ fatcat:s5bjdiz3c5a3bchmqpnhjclasm

VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs

Huy Tran, Uwe Zdun, Schahram Dustdar
2009 Journal of Software and Systems Modeling  
Our approach supports (semi-)automatically eliciting and (semi-)formalizing trace dependencies among process development artifacts at different levels of granularity and abstraction.  ...  First of all, there are no explicit links between process design and implementation languages not only due to the differences of syntax and semantics but also the differences of granularity.  ...  to customers.  ... 
doi:10.1007/s10270-009-0137-0 fatcat:qtgynzep3vcjfmkmdvddsgy5ie

Using Context Information for Tailoring Multimedia Services to User's Resources [chapter]

José M. Oliveira, Eurico M. Carrapatoso
2007 Lecture Notes in Computer Science  
A number of scenarios are examined which show how Parlay middleware can be used by trusted service providers to easily access network resources and context information for enhancing location-based and  ...  This integration places telecommunications service providers, and in particular operators, under the significant challenge of being able to transform their services in order to adapt them to a great variety  ...  Call establishment scenario This scenario happens when a user requests online help from the Customer Care service.  ... 
doi:10.1007/978-3-540-75869-3_12 fatcat:qdvrvhr6gfhy3bgpfl6lf6e4ei

Evolutionary Introduction of Software Product Lines [chapter]

Daniel Simon, Thomas Eisenbarth
2002 Lecture Notes in Computer Science  
Software product lines have proved to be a successful and efficient means for managing the development of software in industry.  ...  If we record the routines that were executed during the usage scenario, we know where to look for the feature's implementation. With source code instrumentation, recording a usage scenario is simple.  ...  Because of P 's success, C's marketing division wants to develop variants of P that are tailored to customer-specific requirements.  ... 
doi:10.1007/3-540-45652-x_17 fatcat:wp5647qmdjcoberdj6ranodbly

Software/Hardware Co-Verification for Custom Instruction Set Processors

Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema
2021 IEEE Access  
However, for processors exploiting custom instruction set extensions to meet performance and energy constraints the validation might be less extensive, challenging the correctness assumption.  ...  The approaches are designed to explore a tradeoff between generality of the verification and computational effort.  ...  on a custom instruction, we need to identify its usage in the ARG.  ... 
doi:10.1109/access.2021.3131213 fatcat:mcnoifxzxvg6fph4gg5adjzp3e

Model-Adaptive Interface Generation for Data-Driven Discovery [article]

Hongsuda Tangmunarunkit, Aref Shafaeibejestan, Joshua Chudy, Karl Czajkowski, Robert Schuler, Carl Kesselman
2021 arXiv   pre-print
This is especially true in the domain of scientific discovery where generation, analysis, and interpretation of data are the fundamental mechanisms by which research teams collaborate to achieve their  ...  In this paper, we present a model-adaptive approach to creating interaction environments for data-driven discovery of scientific data that automatically generates interactive user interfaces for editing  ...  ; and • evaluate the use of the approach in a wide range of usage scenarios.  ... 
arXiv:2110.01781v1 fatcat:676jocbs5jh6fmr4aqdmy3qg6y


2008 International journal of software engineering and knowledge engineering  
This work presents a novel approach to designing customized and tailorable visual interactive systems.  ...  The paper presents a novel participatory approach to the design of customized and tailorable visual interactive systems; it includes end users, as domain experts, in the design team.  ...  Biazzi) Designing Customized and Tailorable Visual Interactive Systems 19 for collaboration in the case study. We also wish to thank Ms M.V. Pragnell, B.A. for her help in correcting the English.  ... 
doi:10.1142/s0218194008003702 fatcat:eaianh4ogbfxnfb27s3kphpr2q
« Previous Showing results 1 — 15 out of 14,006 results