default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ICECCS 2009: Potsdam, Germany
- 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3702-3
- Bernhard Steffen:
Keynote: Continuous Model Driven Engineering. - Thomas Magedanz:
Keynote: On the Increasing Complexity of Multimedia Service Provision in Next Generation Networks and the Future Internet. - Idir Aït-Sadoune, Yamine Aït Ameur:
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. 1-10 - Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford:
ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs. 11-22 - Tsong Yueh Chen
, Fei-Ching Kuo, Robert G. Merkel, Wing K. Tam:
Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique. 23-29 - Xiaofeng Cui, Yanchun Sun, Sai Xiao, Hong Mei:
Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the Experience. 30-39 - Weishan Zhang, Klaus Marius Hansen, João Fernandes:
Towards OpenWorld Software Architectures with Semantic Architectural Styles, Components and Connectors. 40-49 - Andrey Sadovykh, Lionel Vigier, Andreas Hoffmann, Jürgen Großmann, Tom Ritter, Eduardo Gomez, Oleg Estekhin:
Architecture Driven Modernization in Practice - Study Results. 50-57 - Jonathan Tate, Iain Bate:
Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks. 58-67 - Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth:
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. 68-77 - Kleinner S. F. Oliveira, Karin K. Breitman, Toacy Cavalcante de Oliveira:
Ontology Aided Model Comparison. 78-83 - Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson:
REMES: A Resource Model for Embedded Systems. 84-94 - Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
From Bio-jETI Process Models to Native Code. 95-101 - Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan:
Formal Specification and Code Generation of Programable Logic Controllers. 102-109 - Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm:
Analysis and Code Model Extraction for C/C++ Source Code. 110-119 - Aleksandra Karimaa:
Security Aspect of the Complexity of Modern Surveillance Systems - An Experience Report. 120-125 - Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh:
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. 126-135 - Christine Gertosio:
Computational Trust to Insure the Quality of Assistance Given to Human Actors. 136-145 - Yuhui Chen, Alexander B. Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk:
Benchmarking Dependability of a System Biology Application. 146-153 - Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta:
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. 154-161 - Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack:
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. 162-171 - Marco Bakera, Sven Jörges, Tiziana Margaria:
Test your Strategy: Graphical Construction of Strategies for Connect-Four. 172-181 - Ali Nasrat Haidar, Ali E. Abdallah:
Abstractions of Web Services. 182-191 - Weishan Zhang, Klaus Marius Hansen:
An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-Management Planning in a Pervasive Service Middleware. 192-201 - Udaya Kiran Tupakula, Vijay Varadharajan, Sunil Kumar Vuppala:
SBAC: Service Based Access Control. 202-209 - Tomas Tuma, Sean Rooney, Paul Hurley:
On the Applicability of Compressive Sampling in Fine Grained Processor Performance Monitoring. 210-219 - Bruno Santana da Silva, Simone Diniz Junqueira Barbosa, Julio César Sampaio do Prado Leite:
Using Cases in Variability Analysis to Promote the Design of Flexible, Adaptable and Adaptive Systems. 220-229 - Francisco Montero Simarro, Elena Navarro:
ATRIUM: Software Architecture Driven by Requirements. 230-239 - Niklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria:
Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations. 240-247 - Fernando Carvalho, Silvio R. L. Meira:
Towards an Embedded Software Component Quality Verification Framework. 248-257 - Nelson Duarte Filho, Silvia Silva da Costa Botelho, Jônata Tyska Carvalho, Pedro de Botelho Marcos, Renan de Queiroz Maffei, Rodrigo Ruas Oliveira, Vinicius Alves Hax:
An Automated Platform for Immersive and Collaborative Visualization of Industrial Models. 258-264 - Asta Krupaviciute, Jocelyne Fayn, Paul Rubel, Christine Verdier, Eric McAdams, Chris D. Nugent:
Information System Architecture for Wearable Cardiac Sensors Personalization. 265-272 - Anil Kumar Tripathi, Ratneshwer Gupta:
Some Observations on a Maturity Model for CBSE. 273-281 - Vieri Del Bianco, Luigi Lavazza:
Applying the COSMIC Functional Size Measurement Method to Problem Frames. 282-290 - Marius C. Bujorianu, Howard Barringer:
An Integrated Specification Logic for Cyber-Physical Systems. 291-300 - Cristóbal Costa Soria, David Hervas-Muoz, Jennifer Pérez, José A. Carsí:
A Reflective Approach for Supporting the Dynamic Evolution of Component Types. 301-310 - Fateh Boutekkouk, Mohamed Benmohammed:
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. 311-316 - Marie-Noëlle Terrasse, Marinette Savonnet, Éric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud da Costa, Thierry Grison:
Constraint Management in Engineering of Complex Information Systems. 317-322 - Roberto Varona-Gomez, Eugenio Villar:
AADL Simulation and Performance Analysis in SystemC. 323-328 - Angelika Kusel, Wieland Schwinger, Manuel Wimmer, Werner Retschitzegger:
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. 329-334 - Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden:
Visual Comparison of Graphical Models. 335-340 - Ivano Malavolta, Henry Muccini, Patrizio Pelliccione:
Integrating AADL within a Multi-domain Modeling Framework. 341-346 - Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma:
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. 347-352 - Christophe Ponsard, Mathieu Delehaye:
Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures. 353-358 - Isabelle Perseil, Laurent Pautet:
An Emerging Need for a New Software Engineering Method. 359-364 - Dionisio de Niz, Peter H. Feiler:
Verification of Replication Architectures in AADL. 365-370 - Frédéric Mallet, Charles André, Julien DeAntoni:
Executing AADL Models with UML/MARTE. 371-376 - Peter H. Feiler:
Modeling the Implementation of State-Based System Architectures. 377-382 - Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier:
Automating the Generation of Platform Specific Models. 383-388
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 2025-06-02 21:36 CEST 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:
