Dependability Modeling of Web Service Flows
Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering, October 2005, Heidelberg, Germany
This ontology contains information detailing publications held by Budapest University of Technology and Economics
Publication export from Budapest University of Technology and Economics
Modeling and Analysis of Exception Handling techniques by Using UML Statecharts
Proc. Fifth European Dependable Computing Conference (EDCC-5)
Service Availability - Processdings of the 2nd International Service Availability Symposium (ISAS 2005)
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
Design and Analysis of Fault Tolerant Architectures by Model Weaving
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Termination Criteria for Model Transformation
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05)
MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005)
Model-Based Optimization of Enterprise Application and Service Deployment
Dependability Modeling Using Aspect Weaving Techniques
GraMot 2005, International Workshop on Graph and Model Transformations
Proc. FASE 2005: Internation Conference on Fundamental Approaches to Software Engineering
Model Transformation by Graph Transformation: A Comparative Study
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Simultaneous Optimization and Reachability Analysis of Schedulability Problems in Graph Transformation Systems with Time
In Supplementary Volume of the Fifth European Conference on Dependable Computing (EDCC-5)
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
A Data Mining Approach to Identify Key Factors in Dependability Experiments
Scientific Engineering of Distributed Java Applications
Methods of Checking General Safety Criteria in UML Statechart Specifications
The VIATRA2 Model Transformation Framework
Style-Based Modeling and Refinement of Service-Oriented Architectures
Model-driven optimization of enterprise application and service deployment
Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26
Proc. of the First European Young Researchers Workshop on Service Oriented Computing (YR-SOC)
Dependability Analysis of Web Service-based Business Processes by Model Transformations
Journal of Software and Systems Modelling
Run-time Verification of Statechart Implementations
Proc. Fifth European Dependable Computing Conference
Journal of Reliability Engineering and System Safety
Proc. The 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005)