default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th ECBS 2012: Novi Sad, Serbia
- Miroslav Popovic, Bernhard Schätz, Sebastian Voss:
IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-0912-7
Model-Based Development
- Dmitriy Dunaev, László Lengyel:
Complexity of a Special Deobfuscation Problem. 1-4 - James H. Hill, Aniruddha S. Gokhale
:
Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model Interpreters. 5-14 - Andrew Milakovich, Vijay Shankar Gopinath, Roman L. Lysecky, Jonathan Sprinkle:
Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems. 15-23
Verification & Validation I
- Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen:
Modeling and Verifying the Ariadne Protocol Using CSP. 24-32 - Dhaminda B. Abeywickrama, Franco Zambonelli:
Model Checking Goal-Oriented Requirements for Self-Adaptive Systems. 33-42 - James H. Hill:
Using Parameterized Attributes to Improve Testing Capabilities with Domain-Specific Modeling Languages. 43-51
Verification & Validation II
- Ivan Kastelan, Nikola Bednar, Mihajlo Katona, Dusan Zivkov:
Touch-Screen Stimulation for Automated Verification of Touchscreen-Based Devices. 52-55 - Vukota Pekovic, Dako Banika, Damjan Kuburovic, Vladimir Zlokolica, Nikola Vranic:
Simultaneous Functionality Verification System of Multiple Set-Top Boxes. 56-59
Infrastructure & Platform
- Vladimir Zlokolica, Nebojsa Milutinovic, Vladimir Marinkovic, Vukota Pekovic, Jan Zloh:
Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification. 60-63 - Reza Matinnejad, Raman Ramsin:
An Analytical Review of Process-Centered Software Engineering Environments. 64-73 - Branislav Atlagic, Mihaly Sagi, Dejan Milinkov, Bojan Bogovac, Stanko Culaja:
A Way towards Efficiency of SCADA Infrastructure. 74-81 - Christopher Preschern, Nermin Kajtazovic, Christian Kreiner:
An Architecture for Safe and Secure Automation System Devices and Maintenance Process. 82-89
Evolution & Change
- David W. Bustard:
Beyond Mainstream Adoption: From Agile Software Development to Agile Organizational Change. 90-97 - Steffen Lehnert, Qurat-ul-ann Farooq, Matthias Riebisch:
A Taxonomy of Change Types and Its Application in Software Evolution. 98-107 - Robert M. Marks:
A Metadata Driven Approach to Performing Multi-vendor Database Schema Upgrades. 108-116
Simulation & Validation
- Tomas Potuzak:
Division of Road Traffic Network for Distributed Simulation Performed on Heterogeneous Clusters. 117-125 - Stephan Kluth:
Discussion on the Zorn-Hypothesis on Inter-server Control Flow and Product Form Queueing Networks. 126-134
Adaptive/Autonomic Systems
- László Blázovics, Kristóf Csorba, Bertalan Forstner, Hassan Charaf:
Target Tracking and Surrounding with Swarm Robots. 135-141 - Michael L. Valenzuela, Liana Suantak, Jerzy W. Rozenblit:
Decision Support Using Deterministic Equivalents of Probabilistic Game Trees. 142-149
Autonomous Systems
- Marcell Fehér, Krisztian Fekete, Kristóf Csorba, Bertalan Forstner:
Route Separation Strategies for Human Movement Datasets. 150-153 - Mahmoud Hussein, Jun Han, Alan W. Colman, Jian Yu:
An Architecture-Based Approach to Developing Context-Aware Adaptive Systems. 154-163
Signal Processing
- Bojan Mrazovac, Milan Z. Bjelica, Dragan Kukolj, Sasa Vukosavljev, Branislav M. Todorovic:
System Design for Passive Human Detection Using Principal Components of the Signal Strength Space. 164-172 - Szabolcs Pál, Zoran Saric, Stanislav Ocovaj, Istvan Papp:
Hands-Free VoIP Terminal with Gain Control Based on Neural Network. 173-181 - Vladimir M. Ciric, Vladimir Simic, Ivan Z. Milentijevic:
Yield Modeling for Error Tolerant and Partially Defect Tolerant Arrays. 182-187
Applications
- Andreas Attenberger, Klaus Buchenrieder:
Modeling and Visualization of Classification-Based Control Schemes for Upper Limb Prostheses. 188-194 - Jan Nikodem, George Hwang, Jerzy W. Rozenblit, Liana Napalkova:
Technical Realization of the Optimal Motion Planning Method for Minimally Invasive Surgery. 195-200
Real-Time Systems and Platforms
- Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic:
A Task Tree Executor Architecture Based on Intel Threading Building Blocks. 201-209 - Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin:
Support for Holistic Response-Time Analysis in an Industrial Tool Suite: Implementation Issues, Experiences and a Case Study. 210-221 - Ralf Dreesen:
ViDL: A Versatile ISA Description Language. 222-231
Reengineering & Reuse
- Thomas Scheller, Eva Kühn:
Influencing Factors on the Usability of API Classes and Methods. 232-241 - Andrea Leitner, Reinhold Weiss, Christian Kreiner:
Analyzing the Complexity of Domain Model Representations. 242-248
Domain Models
- Sean Whitsitt, Abishek Gopalan, Sangman Cho, Jonathan Sprinkle, Srinivasan Ramasubramanian, Liana Suantak, Jerzy W. Rozenblit:
On the Extraction and Analysis of a Social Network with Partial Organizational Observation. 249-256 - Constanta-Nicoleta Bodea, Maria-Iuliana Dascalu, Luca-Dan Serbanati:
An Ontology-Alignment Based Recommendation Mechanism for Improving the Acquisition and Implementation of Managerial Training Services in Project Oriented Organizations. 257-266
Doctoral Symposium
- Miodrag Petkovic, Miroslav Popovic, Ilija Basicevic, Djordje Saric:
A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow. 267-274 - Zarko Stanisavljevic, Bosko Nikolic, Jovan Djordjevic:
A Module for Automatic Assessment and Verification of Students' Work in Digital Logic Design. 275-282 - Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin:
Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE Systems. 283-292
Poster Session
- Slavko Sajic, Nebojsa Maletic, Branislav M. Todorovic, Milan Sunjevaric:
Frequency Hopping Synchronization Scheme Based on Real-Time Clock. 293-297 - Ondrej Rysavý, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda:
A Formal Authorization Framework for Networked SCADA Systems. 298-302 - Zdravko Panjkov, Mihajlo Katona, Danijel Spasojevic, Zoltan Pele:
A Case Study in Software Reengineering for a DSP-based System on a Chip: Adaptation of Dolby Virtual Speaker. 303-307 - Branislav Atlagic, Mihaly Sagi, Dejan Milinkov, Bojan Bogovac, Stanko Culaja:
Model-based approach to the development of SCADA applications. 308-315 - Yessine Hadj Kacem, Adel Mahfoudhi, Amina Magdich, Chokri Mraidha, Walid Karamti:
Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams. 316-323 - Péter Fehér, László Lengyel:
The challenges of a model transformation language. 324-329
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
