The SCEAS System
Navigation Menu

Conferences in DBLP

Engineering of Computer-Based Systems (ECBS) (ecbs)
2004 (conf/ecbs/2004)

  1. Jonah Z. Lavi, Joseph Kudish
    Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:2-12 [Conf]
  2. Stephanie M. White
    A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:13-20 [Conf]
  3. Liana Suantak, Faisal Momen, Jerzy W. Rozenblit, David Hillis, Michael Barnes, Jerry Schlabach
    Modeling and Simulation of Stability and Support Operations (SASO). [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:21-28 [Conf]
  4. Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Péter Völgyesi
    Domain Independent Generative Modeling. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:29-35 [Conf]
  5. Jiang Guo, Yuehong Liao
    The Scheduling Algorithms in Software Architecture Modeling. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:36-43 [Conf]
  6. Mourad Oussalah, Adel Smeda, Tahar Khammaci
    An Explicit Definition of Connectors for Component-Based Software Architecture. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:44-51 [Conf]
  7. Ferdinand Wagner, T. Wagner, Peter Wolstenholme
    Closing the Gap Between Software Modelling and Code. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:52-60 [Conf]
  8. P. Garg, Aseem Gupta, Jerzy W. Rozenblit
    Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:61-68 [Conf]
  9. John Leaney, Mark Denford, Tim O'Neill
    Enabling Optimisation in the Design of Complex Computer based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:69-74 [Conf]
  10. Tomas Koutny, Jiri Safarik
    Gradient Method with Topology Discovery for Load-Balancing in Active Networks. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:75-85 [Conf]
  11. Zhao Li, Wee Keong Ng
    WICCAP: From Semi-structured Data to Structured Data. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:86-93 [Conf]
  12. Cai Qingsong, Li Zimu, Hu Jianping
    Suffix Caching Techniques of Streaming Media Based On Batch Patching. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:94-101 [Conf]
  13. Josef Schwarz, Jiri Ocenasek, Jirí Jaros
    Advanced Bayesian Optimization Algorithms Applied in Decomposition Problems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:102-112 [Conf]
  14. Miroslav Svéda
    A Design Framework for Internet-Based Embedded Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:113-120 [Conf]
  15. 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. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:121-127 [Conf]
  16. Jan Janecek
    Efficient SOAP Processing in Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:128-135 [Conf]
  17. Kalpesh Zinjuwadia, Perry Alexander
    DVTG and Test Harnessing using Rosetta Specifications. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:136-143 [Conf]
  18. J.-Hendrik Pfeiffer, Wilhelm Rossak, Andreas Speck
    Applying Model Checking to Workflow Verification. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:144-151 [Conf]
  19. Joanna Strug, Stanislaw Deniziak, Krzysztof Sapiecha
    Validation of Reactive Embedded Systems against Temporal Requirements. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:152-160 [Conf]
  20. Jan M. Honzik
    The Survey Of Some Aspects Of European Higher Education At The Beginning Of The Third Millennium. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:161-167 [Conf]
  21. Mark Denford, John Leaney, Tim O'Neill
    Non-Functional Refinement of Computer Based Systems Architecture. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:168-177 [Conf]
  22. Peter Tabeling
    Architectural Description with Integrated Data Consistency Models. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:178-185 [Conf]
  23. Lukás Sekanina, Vladimír Drábek
    Theory and Applications of Evolvable Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:186-194 [Conf]
  24. Ninh-Thuan Truong, Jeanine Souquières
    An Approach for the Verification of UML Models Using B. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:195-202 [Conf]
  25. Ondrej Rysavy, Frantisek Bures
    Formal Abstract Architecture for Use Case Specifications. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:203-210 [Conf]
  26. Frantisek Scuglik
    Formal Specification of Shared Variables Using CSP. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:211-217 [Conf]
  27. Jonathan Sprinkle
    Improving CBS Tool Development with Technological Spaces. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:218-224 [Conf]
  28. Clemens Reichmann, Markus Kühl, Philipp Graf, Klaus D. Müller-Glaser
    GeneralStore - A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:225-232 [Conf]
  29. Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic
    A Concept of an Integrated Development Environment for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:233-241 [Conf]
  30. Gabriele Luculli
    Efficient and Effective Simulation of Memory Maps for System-on-Chip. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:242-247 [Conf]
  31. Petr Grillinger, Premysl Brada, Stanislav Racek
    Simulation Approach to Embedded System Programming and Testing. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:248-254 [Conf]
  32. J. Sebestyénová
    Simulation and Verification Tool for Hierarchical Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:255-262 [Conf]
  33. Li Jiang, Armin Eberlein, Behrouz Homayoun Far
    A Methodology for Requirements Engineering Process Development. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:263-272 [Conf]
  34. Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo
    IRIS: A Semi-Formal Approach for Detecting Requirements Interactions. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:273-281 [Conf]
  35. Anneliese Amschler Andrews, Per Runeson, Robert B. France
    Requirements Trade-offs During UML Design. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:282-292 [Conf]
  36. Ryszard Klempous, Jan Nikodem, Tomasz Walkowiak, Jerzy W. Rozenblit
    Network Virtual Laboratory for External Devices Programming. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:293-298 [Conf]
  37. Ban Al-Ani, Norazlin Yusop
    Role-Playing, Group Work and Other Ambitious Teaching Methods in a Large Requirements Engineering Course. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:299-306 [Conf]
  38. Ralph-Johan Back, Cristina Cerschi Seceleanu
    Contracts and Games in Controller Synthesis for Discrete Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:307-315 [Conf]
  39. Miroslav Kubat
    Induction in Time-Varying Domains: Motivation, Origins, and Encouragements. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:316-322 [Conf]
  40. Andrzej Pieczynski, Silva Robak, Anna Walaszek-Babiszewska
    Features with Fuzzy Probability. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:323-328 [Conf]
  41. Petr Hnetynka, Michal Píse
    Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:329-336 [Conf]
  42. Vitus S. W. Lam, Julian A. Padget
    Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:337-347 [Conf]
  43. Richard Ruzicka, Pavel Tupec
    Formal Approach to Synthesis of a Test Controller. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:348-355 [Conf]
  44. Hassan El-Banna, Alaa A. El-Fattah, Waleed Fakhr
    An Efficient Implementation of the 1D DCT using FPGA Technology. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:356-360 [Conf]
  45. Pavel Zemcík, Adam Herout, Ludek Crha, Otto Fucík, Pavel Tupec
    Particle Rendering Engine in DSP and FPGA. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:361-369 [Conf]
  46. Matthias Riebisch
    Supporting Evolutionary Development by Feature Models and Traceability Links. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:370-377 [Conf]
  47. João M. Fernandes, Johan Lilius
    Functional and Object-Oriented Views in Embedded Software Modeling. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:378-387 [Conf]
  48. Dragos Truscan, João M. Fernandes, Johan Lilius
    Tool Support for DFD-UML Model-based Transformations. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:388-397 [Conf]
  49. Jan Jürjens, Pasha Shabalin
    A Foundation for Tool-Supported Critical Systems Development with UML. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:398-405 [Conf]
  50. Ilian Pashov, Matthias Riebisch
    Using Feature Modeling for Program Comprehension and Software Architecture Recovery. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:406-418 [Conf]
  51. Dusan Kolár, Stanislav Cerny
    Evolution of Software for Embedded Systems in Processor Expert. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:419-422 [Conf]
  52. Otto Fucík, Pavel Zemcík, Pavel Tupec, Ludek Crha, Adam Herout
    The Networked Photo-Enforcement and Traffic Monitoring System Unicam. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:423-428 [Conf]
  53. Jiri Haze, Radimir Vrba
    ADC Position-Sense Interface. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:429-434 [Conf]
  54. Ole Blaurock
    A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:435-442 [Conf]
  55. Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
    Verification of Emergent Behaviors in Swarm-based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:443-448 [Conf]
  56. Roy Sterritt, Darren Gunning, Alan Meban, Phillip Henning
    Exploring Autonomic Options in an Unified Fault Management Architecture through Reflex Reactions via Pulse Monitoring. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:449-455 [Conf]
  57. Jim Nichols, Ted Bapty
    A Model-Based Self-Adaptive Approach to Image Processing. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:456-462 [Conf]
  58. Petr Matena
    Throughput Computing. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:463- [Conf]
  59. V. Oplustil, L. Gáspár, D. Svacina, S. Szabó
    COTS (Commercial Off The Shelf) Distributed System for Critical Application. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:464-468 [Conf]
  60. Jirí Kotzian, Vilém Srovnal
    Design and Optimization of Distributed Control System using UML Model. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:469-477 [Conf]
  61. Shweta Shetty, Sandeep Neema, Ted Bapty
    Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:478-483 [Conf]
  62. Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey
    Asteroid Exploration with Autonomic Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:484-489 [Conf]
  63. Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey
    Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:490-499 [Conf]
  64. Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey
    Towards a Model-Driven Architecture for Autonomic Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:500-505 [Conf]
  65. Yves Caseau
    Self-Adaptive and Self-Healing Message Passing Strategies for Process-Oriented Integration Infrastructures. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:506-512 [Conf]
  66. Roy Sterritt, Saulai Chung
    Personal Autonomic Computing Self-Healing Tool. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:513-522 [Conf]
  67. Daniel Lübke, Jorge Marx Gómez
    Applications for Mobile Agents in Peer-to-Peer-Networks. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:523-529 [Conf]
  68. Nikos Migas, William J. Buchanan, Kevin A. McArtney
    Migration of Mobile Agents in Ad-hoc, Wireless Networks. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:530-535 [Conf]
  69. Ulrich Pinsdorf
    A Formal Approach for Interoperability between Mobile Agent Systems and Component Based Architectures. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:536-543 [Conf]
  70. Joan Ametller, Sergi Robles, Jose A. Ortega-Ruiz
    An Implementation of Self-Protected Mobile Agents. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:544-549 [Conf]
  71. Peter Braun, Ingo Müller, Sven Geisenhainer, Volkmar Schau, Wilhelm Rossak
    A Service-oriented Software Architecture for Mobile Agent Toolkits. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:550-556 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002