Proc. of Dependability of Computer Systems (DepCoS - RELCOMEX 2006)
This ontology contains information detailing publications held by Budapest University of Technology and Economics
Publication export from Budapest University of Technology and Economics
Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006)
International Workshop on Domain Specific Program Development (DSPD 2006)
Accepted for the (first) European Workshop on Compostion of Model Transformations.
Graph Transformation in Relational Databases
Challenges for Advanced Domain-Specific Modeling Frameworks
Dependability Evaluation of Web Service-Based Processes
Enterprise Modeling and Computing with UML
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques
ACM Symposium on Applied Computing --- Model Transformation Track (SAC 2006)
Termination Analysis of Model Transformations by Petri Nets
in Proceedings of European Performance Engineering Workshop (EPEW 2006)
Making Legacy Services Highly-Available with OpenAIS: An Experience Report
Third International Service Availability Symposium (ISAS 2006)
Validation and Certification of Safety-Critical Embedded Systems - the DECOS Test Bench
Towards Testing the Implementation of Graph Transformations
Robustness Testing Techniques for High Availability Middleware Solutions
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
in Proceedings of Conference of PhD Students in Computer Science
Optimal Trajectory Generation for Petri nets.
Advanced Model Transformation Language Constructs in the VIATRA2 Framework
Proc. Third International Conference on Graph Transformation (ICGT 2006)
Fifth International Workshop on Graph Transformation and Visual Modelling Techniques
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
Simulation and Formal Analysis of Workflow Models
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
in Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006)
Compiling Model Transformations to EJB3-Specific Transformer Plugins
Modeling of Reliable Messaging in Service Oriented Architectures
Proc. 19th Int. Conf. on Architecture of Computing Systems
Journal of Software and Systems Modelling
Pattern composition in graph transformation rules
in Proceedings of The 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP2006)
Verification of Reconfiguration Mechanisms in Service-Oriented Architectures