default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th ICECCS 2010: Oxford, UK
- Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska:
15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4015-3
Adaptation and Autonomic Systems
- Jorge Fox, Siobhán Clarke:
An Analysis of Formal Languages for Dynamic Adaptation. 3-13 - Ewoud Werkman, Bas van Schoonhoven, Marc de Jonge, Edwin Matthijssen:
Development of Autonomic Management Solutions for the Military Application Domain. 14-20 - Rasmus Adler, Daniel Schneider, Mario Trapp:
Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems. 21-30 - Florian Skopik, Daniel Schall, Schahram Dustdar
:
Trust-Based Adaptation in Complex Service-Oriented Systems. 31-40
Distributed and Service-Based Applications
- Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella:
A Tile-Based Approach for Self-Assembling Service Compositions. 43-52 - Minh H. Tran, Alan W. Colman, Jun Han:
Service-Based Development of Context-Aware Automotive Telematics Systems. 53-62 - Kristian Ellebaek Kjaer, Klaus Marius Hansen:
Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies. 63-71 - Ilango Sriram, Dave Cliff:
Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling. 72-81
Formal Methods 1
- Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi:
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. 85-94 - Shinji Kikuchi, Satoshi Tsuchiya:
Configuration Procedure Synthesis for Complex Systems Using Model Finder. 95-104 - Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth:
Patterns for Modelling Time and Consistency in Business Information Systems. 105-114
Formal Methods 2
- Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun:
Implementing and Evaluating a Model Checker for Transactional Memory Systems. 117-126 - Xin An, Jun Pang:
Model Checking Round-Based Distributed Algorithms. 127-135 - Shinya Umeno, Nancy A. Lynch:
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. 136-145 - Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani:
Performance Antipatterns as Logical Predicates. 146-156
Real-Time Systems
- Jonathan Tate, Iain Bate:
Maintaining Stable Node Populations in Long-Lifetime Sensornets. 159-168 - Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström:
Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks. 169-179
Model-Driven Engineering
- Hannes Schwarz, Jürgen Ebert, Jens Lemcke, Tirdad Rahmani, Srdjan Zivkovic:
Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement. 183-192 - Vidhi Thapa, Eunjee Song, Hanil Kim:
An Approach to Verifying Security and Timing Properties in UML Models. 193-202
Requirements
- Shelly Park, Frank Maurer:
A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development. 205-214 - Ivonne Erfurth, Kathrin Kirchner:
Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis. 215-223 - Russell Lock, Ian Sommerville:
Modelling and Analysis of Socio-Technical System of Systems. 224-232 - Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal:
A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. 233-242
Poster Session
- Klaus Lochmann:
Engineering Quality Requirements Using Quality Models. 245-246 - Thomas Goldschmidt, Steffen Becker, Axel Uhl:
Incremental Updates for Textual Modelling of Large Scale Models. 247-248 - Michael Thonhauser, Christian Kreiner, Andrea Leitner:
A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems. 249-252 - Fahad Javed, Naveed Arshad, Fredrik Wallin, Iana Vassileva, Erik Dahlquist:
Engineering Optimization Models at Runtime for Dynamically Adaptive Systems. 253-254 - Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. 255-256 - Yi Lu Murphey, Zhihang Chen:
A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring. 257-258 - Christopher Power, Helen Petrie:
An Experience Report in Requirements Elicitation for Accessible E-Learning Systems. 259-261 - Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek:
Enriching Use Cases with CTTs. 262-263 - Manuel Oriol, Sotirios Tassis:
Testing .NET Code with YETI. 264-265
Special Session on Complex System Modelling and Simulation
- Thomas Stibor, Anastasio Salazar-Bañuelos:
On Immunological Memory as a Function of a Recursive Proliferation Process. 269-275 - Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson:
Reflections on the Simulation of Complex Systems for Science. 276-285 - Tim Hoverd, Adam T. Sampson:
A Transactional Architecture for Simulation. 286-290 - Thomas R. Anderson, Michael J. Follows:
Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture. 291-295 - Kuiying Deng, Zhuozheng Li, Tianguang Chu:
Severe Punishment for Those Who Were Caught. 296-301 - Enrique Kremers, Pablo Viejo, Oscar Barambones, José González de Durana:
A Complex Systems Modelling Approach for Decentralised Simulation of Electrical Microgrids. 302-311 - Teodor Ghetiu, Fiona A. C. Polack, James L. Bown:
In Search of Sound 'in silico' Research - Validating a Complex System Simulation. 312 - Amelia Ritahani Ismail, Jon Timmis:
Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation. 313-314 - Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack:
Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. 315-316
Fifth International UML and AADL Workshop
- Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz:
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. 319-324 - Matthew Hause, Andrew Stuart, David Richards, Jon Holt:
Testing Safety Critical Systems with SysML/UML. 325-330 - T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat:
Supporting the Design of Safety Critical Systems Using AADL. 331-336 - Olivier Gilles, Jérôme Hugues:
Expressing and Enforcing User-Defined Constraints of AADL Models. 337-342 - Pablo Peñil, Hector Posadas, Eugenio Villar:
Formal Modeling for UML/MARTE Concurrency Resources. 343-348 - Li Dan:
QVT Based Model Transformation from Sequence Diagram to CSP. 349-354 - David Simon Zayas, Anne Monceaux, Yamine Aït Ameur:
Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. 355-360 - Isabelle Perseil, Laurent Pautet:
From MARTE to AADL with a Seamless Process. 361-366 - Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux:
Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. 367-372 - Iulian Ober, Iulia Dragomir:
OMEGA2: A New Version of the Profile and the Tools. 373-378 - Roberto Varona-Gomez, Eugenio Villar:
AADS+: AADL Simulation Including the Behavioral Annex. 379-384
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-02-20 19:34 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:
