Abstract is missing.
- Wireless Sensor Networking: The Pleasure and the PainJulie McCann. 3 [doi]
- Evolving Critical SystemsMike Hinchey, Lorcan Coyle. 4 [doi]
- Engineering Self-Service Correctional Facility Biometric Computer-Based SystemsPatricia O Hagan. 5 [doi]
- UAV Search: Maximizing Target AcquisitionHussain Al-Helal Tapasya Patki, Jonathan Sprinkle. 9-18 [doi]
- Do Sensornet Protocol Variants Yield Real Benefits?Jonathan Tate, Iain Bate. 19-28 [doi]
- Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing EnvironmentMiao Wang, Viliam Holub, Trevor Parsons, John Murphy, Patrick O Sullivan. 29-38 [doi]
- A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool SupportQurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Matthias Riebisch. 41-49 [doi]
- Using UML Models and Formal Verification in Model-Based TestingQaisar A. Malik, Dragos Truscan, Johan Lilius. 50-56 [doi]
- Generating Test Plans for Acceptance Tests from UML Activity DiagramsAndreas Heinecke, Tobias Brückmann, Tobias Griebe, Volker Gruhn. 57-66 [doi]
- Guiding Architectural Restructuring through Architectural StylesDalila Tamzalit, Tom Mens. 69-78 [doi]
- CPASA: Continuous Performance Assessment of Software ArchitectureR. J. Pooley, A. A. L. Abdullatif. 79-87 [doi]
- Range Queries Based on a Structured Segment Tree in P2P SystemsYe-In Chang, Chen-Chang Wu, Jun-Hong Shen, Tzu-Lun Huang. 91-99 [doi]
- A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table StructuresDaniel Fasel, Khurram Shahzad. 100-109 [doi]
- Fault Management Driven Design with Safety and Security RequirementsMiroslav Svéda. 113-120 [doi]
- Timed Automata Model for Component-Based Real-Time SystemsGeorgiana Macariu, Vladimir Cretu. 121-130 [doi]
- Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle BuffersKhalid Latif 0002, Tiberiu Seceleanu, Hannu Tenhunen. 131-138 [doi]
- Fault Coverage Measurement of a Timed Test Case Generation ApproachMohammad Saeed Abou Trab, Steve Counsell. 141-149 [doi]
- Top-Down Reuse for Multi-level TestingAbel Marrero Pérez, Stefan Kaiser. 150-159 [doi]
- Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model CheckingLucas Cordeiro, Bernd Fischer, João Marques-Silva. 160-169 [doi]
- Design-Space Exploration through Constraint-Based Model-TransformationBernhard Schätz, Florian Hölzl, Torbjörn Lundkvist. 173-182 [doi]
- Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-TransformationsTomasz Porzucek, Stephan Kluth, Mathias Fritzsche, David Redlich. 183-192 [doi]
- Communication Modeling for System-Level Performance-SimulationHeike S. Rolfs, Andreas W. Liehr, Klaus Buchenrieder. 193-198 [doi]
- Educating Architects in Industry - The SAP Architecture CurriculumBernhard Groene, Wolfram Kleis, Jochen Boeder. 201-205 [doi]
- Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System ArchitectureGerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiss. 206-212 [doi]
- UML-JMT: A Tool for Evaluating Performance RequirementsA. A. L. Abdullatif, R. J. Pooley. 215-225 [doi]
- TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television SystemsIvan Kastelan, Nikola Teslic, Vukota Pekovic, Tarkan Tekcan. 226-231 [doi]
- Supporting Customizable Architectural Design Decision ManagementLianping Chen, Muhammad Ali Babar. 232-240 [doi]
- Process Patterns for Aspect-Oriented Software DevelopmentMassood Khaari, Raman Ramsin. 241-250 [doi]
- An Application Level Parallelization of Complex Real-Time SoftwareBogdan Trivunovic, Miroslav Popovic, Vladislav Vrtunski. 253-257 [doi]
- Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing TechnologiesMario Riojas, Susan Lysecky, Jerzy W. Rozenblit. 258-262 [doi]
- Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemCIbrahim Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid. 263-267 [doi]
- An Emulation Solution for the SegBus PlatformMoazzam Fareed Niazi, Hannu Tenhunen, Tiberiu Seceleanu. 268-275 [doi]
- Towards an Architectural Framework for Agile Software DevelopmentRichard Mordinyi, eva Kühn, Alexander Schatten. 276-280 [doi]
- The Architectural Evolution of Telecommunications Network Management SystemsHaydn Mearns, John Leaney, Dominique Verchère. 281-285 [doi]
- ECQL: A Query and Action Language for Model-Based ApplicationsUlrich Krenn, Michael Thonhauser, Christian Kreiner. 286-290 [doi]
- Model-Based Testing Using System vs. Test Models - What Is the Difference?Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius. 291-299 [doi]
- 3TZ Collaborative Team Environments Incorporating the Hybrid Holonic ArchitectureZenon Chaczko, Christopher Chiu, Ryszard Klempous, Jan Nikodem. 300-305 [doi]
- Metrics Functions for Kanban GuardsJeanette Heidenberg, Ivan Porres. 306-310 [doi]
- A Non-numerical Predictive Model for Asymmetric AnalysisMichael L. Valenzuela, Chuan Feng, Praneel Reddy, Faisal Momen, Jerzy W. Rozenblit, Brian Ten Eyck, Ferenc Szidarovszky. 311-315 [doi]
- Activity and Petri Net Model-to-Model Mapping Using Triple Graph GrammarsTony Spiteri Staines. 316-317 [doi]
- MATERA - An Integrated Framework for Model-Based TestingFredrik Abbors, Andreas Backlund, Dragos Truscan. 321-328 [doi]
- Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT ScenariosMarc-Florian Wendland, Jürgen Großmann, Andreas Hoffmann. 329-334 [doi]
- Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented SystemJieqi Ding, Han Zhu, Huibiao Zhu, Qin Li. 335-343 [doi]
- Model Based Statistical Testing and DurationsFrank Böhr. 344-351 [doi]
- Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User InterfacesSebastian Wieczorek, Alin Stefanescu. 352-357 [doi]
- Formalizing MapReduce with CSPFan Yang, Wen Su, Huibiao Zhu, Qin Li. 358-367 [doi]
- Archmeds: An Infrastructure for Dependable Service-Oriented ArchitecturesEduardo Machado Gonçalves, Cecília Mary Fischer Rubira. 371-378 [doi]
- Component-Based Architecture for e-Gov Web Systems DevelopmentCamilo Carromeu, Débora Maria Barroso Paiva, Maria Istela Cagnin, Hana K. Rubinsztejn, Marcelo Augusto Santos Turine, Karin Breitman. 379-385 [doi]
- Database Descriptors: Laying the Path to Commodity Web Data ServicesRodrigo Dias Arruda Senra, Claudia Bauzer Medeiros. 386-392 [doi]
- Modeling the Mediated Schema ConstraintsMarco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, Antonio L. Furtado, Vånia Maria Ponte Vidal. 393-402 [doi]
- Visual Tracking Based on 3D Probabilistic ReconstructionGisele M. Simas, Rodrigo de Bem, Lucas Novelo, Guilherme Fickel, Silvia Silva da Costa Botelho. 403-409 [doi]
- Wireless Sensor Networks as a ServiceFlávia Coimbra Delicato, Paulo F. Pires, Luci Pirmez, Thaís Vasconcelos Batista. 410-417 [doi]
- High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time SystemsIsabelle Perseil, Laurent Pautet. 418-424 [doi]
- Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance DegreeMarcus Brohede. 425-429 [doi]
- Evolving Critical Systems: A Research Agenda for Computer-Based SystemsMike Hinchey, Lorcan Coyle. 430-435 [doi]