Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tae-Hwan Kim, Seung-Il Lee, Yong-Doo Lee, Won-Kee Hong |
Design and Evaluation of In-vehicle Sensor Network for Web based Control. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Josef Strnadel, Zdenek Kotásek |
SET: Interactive Tool for Learning and Training Scan-Based DFT Principles and Their Consequences to Parameters of Embedded System. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael G. Hinchey, James L. Rash, Christopher A. Rouff |
A Formal Approach to Requirements-Based Programming. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
requirements-based programming, verification, formal methods, Validation, automatic code generation |
1 | |
Using Connectors to Integrate Software Components. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nilgün Fescioglu-Ünver, Mieczyslaw M. Kokar |
Effects of Computation Speed on the Stability of a Self-Controlling Process. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Migas, William J. Buchanan |
Metric Evaluation of Embedded Java-Based Proxies on Handheld Devices in Cluster-Based Ad Hoc Routing. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA |
ECBS |
2005 |
DBLP BibTeX RDF |
|
1 | 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. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Fox, Jan Jürjens |
Introducing Security Aspects with Model Transformations. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson |
Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anne-Marie Bosneag, Monica Brockmeyer |
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
replica consistency, multi-consistency replication, reliability, formal specification, distributed hash table |
1 | Peter Tabeling, Bernhard Gröne |
Integrative Architecture Elicitation for Large Computer Based Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
Fundamental Modeling Concepts, Modeling, Architecture, Heterogeneous Systems, FMC |
1 | Claudio Talarico, Aseem Gupta, Ebenezer Peter, Jerzy W. Rozenblit |
Embedded System Engineering Using C/C++ Based Design Methodologies. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Doxsee, William B. Gardner |
Synthesis of C++ Software from Verifiable CSPm Specifications. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Popovic, Ivan Velikic |
A Generic Model-Based Test Case Generator. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
statistical usage testing, large-scale embedded systems, software reliability, test case generator, test cases, operational profile |
1 | Jamie L. Smith, Shawn A. Bohner, D. Scott McCrickard |
Toward Introducing Notification Technology into Distributed Project Teams. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt, Michael G. Hinchey |
Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
Self-Destruction, Pulse Monitoring, Autonomic Computing, Autonomic Agents, Exploration, Self-Protection, Apoptosis |
1 | Fabrice Saffre, Håvard Rast Blok |
"SelfService": A Theoretical Protocol for Autonomic Distribution of Services in P2P Communities. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Randles, A. Taleb-Bendiab, Philip Miseldine, Andy Laws |
Adjustable Deliberation of Self-Managing Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jewgenij Botaschanjan, Jan Jürjens |
MoDeII: Modeling and Analyzing Time-Constraints. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Coram, Shawn A. Bohner |
The Impact of Agile Methods on Software Project Management. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marin Marinov, Dimiter R. Avresky, Ngoc Thanh Nguyen 0001 |
Parallel and Reliable Execution of a WDR Algorithm in High Speed Networks. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
WDR, reliable execution, high speed networks - SAN, parallelization, wavelet |
1 | Esther M. Gelle, Thomas E. Koch, Patrick Sager |
IT Asset Management of Industrial Automation Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hamid R. Zarandi, Seyed Ghassem Miremadi |
Hierarchical Multiple Associative Mapping in Cache Memories. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Steven Nordstrom, Shweta Shetty, Di Yao 0005, Shikha Ahuja, Sandeep Neema, Ted Bapty |
The Action Language: Refining a Behavioral Modeling Language. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner |
Checking and Transforming Models with AutoFOCUS. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Jorge Machado 0001, João M. Fernandes, Paula Monteiro, Helena Rodrigues |
Transformation of UML Models for Service-Oriented Software Architectures. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Darren Dalcher, Oddur Benediktsson, Helgi Thorbergsson |
Development Life Cycle Management: A Multiproject Experiment. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gröne, Andreas Knöpfel, Peter Tabeling |
Component vs. Component: Why We Need More Than One Definition. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Antony Tang, Jun Han 0004 |
Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fahad T. Alotaiby, Jim X. Chen, Harry Wechsler, Edward J. Wegman, Deborah Sprague |
Adaptive Web-Based Learning System. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie M. White |
Improving the System/Software Engineering Interface for Complex System Development. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Qianxiang Wang, Aditya P. Mathur |
Interceptor Based Constraint Violation Detection. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao |
Configuration Management for Designs of Software Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Di Eugenio, Michael J. Trolio |
Generating Driving Directions for Intelligent Vehicles Interfaces. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Bures, Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda |
A Framework for Formal Specification of Embedded Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh, Rean Griffith, Gail E. Kaiser, Dan B. Phung |
Self-Managing Systems: A Control Theory Foundation. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Friedland, Karl Pauls |
Towards a Demand Driven, Autonomous Processing and Streaming Architecture. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto |
Model Checking Embedded Systems with PROMELA. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Ralf Nagel 0001, Bernhard Steffen |
Remote Integration and Coordination of Verification Tools in JETI. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hui Ding, Kihwal Lee, Lui Sha |
Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Luis Iribarne |
Designing GUI Components for UML Use Cases. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Rao, Zunchao Li, Boqin Feng, Jincang Han |
Architecture-Based Web Service Composition Framework and Strategy. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
EASe Introduction. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt, Michael G. Hinchey |
Autonomic Computing - Panacea or Poppycock? |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cameron Maxwell, Artem Parakhine, John Leaney, Tim O'Neill, Mark Denford |
Heuristic-Based Architecture Generation for Complex Computer System Optimisation. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cory Plock, Benjamin Goldberg, Lenore D. Zuck |
From Requirements to Specifications. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hemant Sengar, Duminda Wijesekera, Sushil Jajodia |
Authentication and Integrity in Telecommunication Signaling Network. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Dunsire, Tim O'Neill, Mark Denford, John Leaney |
The ABACUS Architectural Approach to Computer-Based System and Enterprise Evolution. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | D. Vaidya, Jianfeng Peng, Lizhi Yang, Jerzy W. Rozenblit |
A Framework for Sensor Management in Wireless and Heterogeneous Sensor Network. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Cerschi Seceleanu |
Formal Development of Real-Time Priority-Based Schedulers. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Phan Cong Vinh, Jonathan P. Bowen |
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shweta Shetty, Steven Nordstrom, Shikha Ahuja, Di Yao 0005, Ted Bapty, Sandeep Neema |
Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, Andrew Laws, Martin Randles, Frank Keenan |
Towards a Systemic Approach to Autonomic Systems Engineering. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shuyu Li, XiaoJiang Li, Jian Wu |
Components and Contracts for Embedded Software. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
ESIM, component, embedded, contract |
1 | Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fergal McCaffery, Donald McFall, Pat Donnelly, F. George Wilkie, Roy Sterritt |
A Software Process Improvement Lifecycle Framework for the Medical Device Industry. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David W. Bustard, Frank Keenan |
Strategies for Systems Analysis: Groundwork for Process Tailoring. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt, Michael G. Hinchey |
Why Computer-Based Systems Should Be Autonomic. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
Future Computing Paradigms, Complexity, Autonomic Computing, Autonomic Systems, Self-Managing Systems, Total Cost of Ownership |
1 | Tim Schattkowsky, Alexander Förster |
A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Riebisch, Michael Hübner 0003 |
Traceability-Driven Model Refinement for Test Case Generation. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robert Fischer 0002, Klaus Buchenrieder, Ulrich Nageldinger |
Reducing the Power Consumption of FPGAs through Retiming. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Li Jiang 0006, Armin Eberlein, Behrouz Homayoun Far |
Combining Requirements Engineering Techniques - Theory and Case Study. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
Requirements engineering techniques, project characteristics, requirements engineering process |
1 | Roy Sterritt, Barry Smyth, Martin M. Bradle |
PACT: Personal Autonomic Computing Tools. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
Personal Autonomic Computing, Autonomic Computing, Self-Monitoring |
1 | Fernando J. Barros |
Simulating Data Generated by a Network of Track-While-Scan Radars. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Garrin Kimmell, Ed Komp, Perry Alexander |
Building Compilers by Combining Algebras. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | J.-Hendrik Pfeiffer, Wilhelm R. Rossak, Andreas Speck |
Applying Model Checking to Workflow Verification. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ilian Pashov, Matthias Riebisch |
Using Feature Modeling for Program Comprehension and Software Architecture Recovery. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ole Blaurock |
A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Rysavý, Frantisek Bures |
Formal Abstract Architecture for Use Case Specifications. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | P. Garg, Aseem Gupta, Jerzy W. Rozenblit |
Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Richard Ruzicka, Pavel Tupec |
Formal Approach to Synthesis of a Test Controller. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | |
11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic |
ECBS |
2004 |
DBLP BibTeX RDF |
|
1 | Jirí Kotzian, Vilém Srovnal |
Design and Optimization of Distributed Control System using UML Model. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey |
Asteroid Exploration with Autonomic Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
asteroid, spacecraft, Agent, autonomy, autonomic |
1 | Miroslav Svéda |
A Design Framework for Internet-Based Embedded Distributed Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey |
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mark Denford, John Leaney, Tim O'Neill |
Non-Functional Refinement of Computer Based Systems Architecture. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | João M. Fernandes, Johan Lilius |
Functional and Object-Oriented Views in Embedded Software Modeling. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie M. White |
A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan Janecek |
Efficient SOAP Processing in Embedded Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ralph-Johan Back, Cristina Cerschi Seceleanu |
Contracts and Games in Controller Synthesis for Discrete Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt, Darren Gunning, Alan Meban, Phillip Henning |
Exploring Autonomic Options in an Unified Fault Management Architecture through Reflex Reactions via Pulse Monitoring. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hassan El-Banna, Alaa A. El-Fattah, Waleed Fakhr |
An Efficient Implementation of the 1D DCT using FPGA Technology. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Pieczynski, Silva Robak, Anna Walaszek-Babiszewska |
Features with Fuzzy Probability. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kumar Chhokra, Ted Bapty, Jason Scott, Simon Winberg, Janos Sztipanovits, Don van Rheeden, Ben Abbott |
WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Scuglik |
Formal Specification of Shared Variables Using CSP. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Riebisch |
Supporting Evolutionary Development by Feature Models and Traceability Links. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens, Pasha Shabalin |
A Foundation for Tool-Supported Critical Systems Development with UML. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
formal models of object-oriented design, UML, verification, specification, tool support, secure computing, critical systems |
1 | Jonah Z. Lavi, Joseph Kudish |
Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dragos Truscan, João M. Fernandes, Johan Lilius |
Tool Support for DFD-UML Model-based Transformations. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Migas, William J. Buchanan, Kevin A. McArtney |
Migration of Mobile Agents in Ad-hoc, Wireless Networks. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ban Al-Ani, Norazlin Yusop |
Role-Playing, Group Work and Other Ambitious Teaching Methods in a Large Requirements Engineering Course. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dusan Kolár, Stanislav Cerny |
Evolution of Software for Embedded Systems in Processor Expert. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Petr Grillinger, Premysl Brada, Stanislav Racek |
Simulation Approach to Embedded System Programming and Testing. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Péter Völgyesi |
Domain Independent Generative Modeling. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|