Conferences in DBLP
Tim Schattkowsky , Alexander Förster A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Jiang Guo , Yuehong Liao , Jeff Gray , Barrett R. Bryant Using Connectors to Integrate Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Shuyu Li , XiaoJiang Li , Jian Wu Components and Contracts for Embedded Software. [Citation Graph (0, 0)][DBLP ] Conf ] M. Marinov , Dimiter R. Avresky , Ngoc Thanh Nguyen Parallel and Reliable Execution of a WDR Algorithm in High Speed Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Anne-Marie Bosneag , Monica Brockmeyer A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. [Citation Graph (0, 0)][DBLP ] Conf ] Hui Ding , Kihwal Lee , Lui Sha Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Tabeling , Bernhard Gröne Integrative Architecture Elicitation for Large Computer Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kyle Dunsire , Tim O'Neill , Mark Denford , John Leaney The ABACUS Architectural Approach to Computer-Based System and Enterprise Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Cameron Maxwell , Artem Parakhine , John Leaney , Tim O'Neill , Mark Denford Heuristic-Based Architecture Generation for Complex Computer System Optimisation. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Talarico , Aseem Gupta , Ebenezer Peter , Jerzy W. Rozenblit Embedded System Engineering Using C/C++ Based Design Methodologies. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Fischer , Klaus Buchenrieder , Ulrich Nageldinger Reducing the Power Consumption of FPGAs through Retiming. [Citation Graph (0, 0)][DBLP ] Conf ] Hamid R. Zarandi , Seyed Ghassem Miremadi Hierarchical Multiple Associative Mapping in Cache Memories. [Citation Graph (0, 0)][DBLP ] Conf ] Li Jiang , Armin Eberlein , Behrouz Homayoun Far Combining Requirements Engineering Techniques - Theory and Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Riebisch , Michael Hübner Traceability-Driven Model Refinement for Test Case Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Esther Gelle , Thomas E. Koch , Patrick Sager IT Asset Management of Industrial Automation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yuan Rao , Zunchao Li , Boqin Feng , Jincang Han Architecture-Based Web Service Composition Framework and Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Antony Tang , Jun Han Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos Migas , William J. Buchanan Metric Evaluation of Embedded Java-Based Proxies on Handheld Devices in Cluster-Based Ad Hoc Routing. [Citation Graph (0, 0)][DBLP ] Conf ] D. Vaidya , Jianfeng Peng , Lizhi Yang , Jerzy W. Rozenblit A Framework for Sensor Management in Wireless and Heterogeneous Sensor Network. [Citation Graph (0, 0)][DBLP ] Conf ] Hemant Sengar , Duminda Wijesekera , Sushil Jajodia Authentication and Integrity in Telecommunication Signaling Network. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Jorge Machado , João M. Fernandes , Paula Monteiro , Helena Rodrigues Transformation of UML Models for Service-Oriented Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Cory Plock , Benjamin Goldberg , Lenore D. Zuck From Requirements to Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Doxsee , William B. Gardner Synthesis of C++ Software from Verifiable CSPm Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Shih-Hsi Liu , Barrett R. Bryant , Jeffrey G. Gray , Rajeev R. Raje , Andrew M. Olson , Mikhail Auguston QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Manuel Almendros-Jiménez , Luis Iribarne Designing GUI Components for UML Use Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslav Popovic , Ivan Velikic A Generic Model-Based Test Case Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Mark L. McKelvin Jr. , Jonathan Sprinkle , Claudio Pinello , Alberto L. Sangiovanni-Vincentelli Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Tien Nhut Nguyen , Ethan V. Munson , John Tang Boyland , Cheng Thao Configuration Management for Designs of Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Phan C. Vinh , Jonathan P. Bowen Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Gracanin , H. Lally Singh , Michael G. Hinchey , Mohamed Eltoweissy , Shawn A. Bohner A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Cerschi Seceleanu Formal Development of Real-Time Priority-Based Schedulers. [Citation Graph (0, 0)][DBLP ] Conf ] Fergal McCaffery , Donald McFall , Pat Donnelly , F. George Wilkie , Roy Sterritt A Software Process Improvement Lifecycle Framework for the Medical Device Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanie M. White Improving the System/Software Engineering Interface for Complex System Development. [Citation Graph (0, 0)][DBLP ] Conf ] Darren Dalcher , Oddur Benediktsson , Helgi Thorbergsson Development Life Cycle Management: A Multiproject Experiment. [Citation Graph (0, 0)][DBLP ] Conf ] Jewgenij Botaschanjan , Jan Jürjens MoDeII: Modeling and Analyzing Time-Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Schätz , Peter Braun 0003 , Franz Huber , Alexander K. Wißpeintner Checking and Transforming Models with AutoFOCUS. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Nordstrom , Shweta Shetty , Di Yao , Shikha Ahuja , Sandeep Sandeep , Ted Bapty The Action Language: Refining a Behavioral Modeling Language. [Citation Graph (0, 0)][DBLP ] Conf ] Frantisek Bures , Ondrej Rysavy , Frantisek Scuglik , Miroslav Svéda A Framework for Formal Specification of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Garrin Kimmell , Ed Komp , Perry Alexander Building Compilers by Combining Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Michael G. Hinchey , James L. Rash , Christopher Rouff A Formal Approach to Requirements-Based Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jamie L. Smith , Shawn A. Bohner , D. Scott McCrickard Toward Introducing Notification Technology into Distributed Project Teams. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Bustard , Frank Keenan Strategies for Systems Analysis: Groundwork for Process Tailoring. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Coram , Shawn A. Bohner The Impact of Agile Methods on Software Project Management. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando J. Barros Simulating Data Generated by a Network of Track-While-Scan Radars. [Citation Graph (0, 0)][DBLP ] Conf ] Óscar R. Ribeiro , João M. Fernandes , Luís F. Pinto Model Checking Embedded Systems with PROMELA. [Citation Graph (0, 0)][DBLP ] Conf ] Nigel Sheridan-Smith , John Leaney , Tim O'Neill , Mark Hunter A Policy-Driven Autonomous System for Evolutive and Adaptive Management of Complex Services and Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Nilgun Fescioglu-Unver , Mieczyslaw M. Kokar Effects of Computation Speed on the Stability of a Self-Controlling Process. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Sterritt , Michael G. Hinchey Why Computer-Based Systems Should Be Autonomic. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Di Eugenio , Michael J. Trolio Generating Driving Directions for Intelligent Vehicles Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Fahad T. Alotaiby , Jim X. Chen , Harry Wechsler , Edward J. Wegman , Deborah Sprague Adaptive Web-Based Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Tiziana Margaria , Ralf Nagel , Bernhard Steffen Remote Integration and Coordination of Verification Tools in JETI. [Citation Graph (0, 0)][DBLP ] Conf ] EASe Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Yixin Diao , Joseph L. Hellerstein , Sujay S. Parekh , Rean Griffith , Gail E. Kaiser , Dan B. Phung Self-Managing Systems: A Control Theory Foundation. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Randles , A. Taleb-Bendiab , Philip Miseldine , Andy Laws Adjustable Deliberation of Self-Managing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Qianxiang Wang , Aditya P. Mathur Interceptor Based Constraint Violation Detection. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Bustard , Roy Sterritt , A. Taleb-Bendiab , Andrew Laws , Martin Randles , Frank Keenan Towards a Systemic Approach to Autonomic Systems Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Friedland , Karl Pauls Towards a Demand Driven, Autonomous Processing and Streaming Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Shweta Shetty , Steven Nordstrom , Shikha Ahuja , Di Yao , Ted Bapty , Sandeep Neema Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages. [Citation Graph (0, 0)][DBLP ] Conf ] James L. Rash , Michael G. Hinchey , Christopher Rouff , Denis Gracanin , John Erickson Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Messie , Mina Jung , Jae C. Oh , Shweta Shetty , Steven Nordstrom , Michael Haney Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Sterritt , Michael G. Hinchey Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. [Citation Graph (0, 0)][DBLP ] Conf ] James D. Baldassari , Christopher L. Kopec , Eric S. Leshay , Walt Truszkowski , David Finkel Autonomic Cluster Management System (ACMS): A Demonstration of Autonomic Principles at Work. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Sterritt , Barry Smyth , Martin M. Bradle PACT: Personal Autonomic Computing Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Saffre , Håvard Rast Blok "SelfService": A Theoretical Protocol for Autonomic Distribution of Services in P2P Communities. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Sterritt , Michael G. Hinchey Autonomic Computing - Panacea or Poppycock? [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Fox , Jan Jürjens Introducing Security Aspects with Model Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Gröne , Andreas Knöpfel , Peter Tabeling Component vs. Component: Why We Need More Than One Definition. [Citation Graph (0, 0)][DBLP ] Conf ] 