The following pages link to JBoss (Q33635):
Displaying 22 items.
- Automation of service-based security-aware business processes in the cloud (Q335881) (← links)
- DSOL: a declarative approach to self-adaptive service orchestrations (Q438997) (← links)
- Statically safe program generation with SafeGen (Q532402) (← links)
- Verifying the consistency of web-based technical documentations (Q617987) (← links)
- Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution (Q862528) (← links)
- A distributable security management architecture for enterprise systems spanning multiple security domains (Q862583) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Architectural refactoring of corporate program systems (Q2432991) (← links)
- Tailorable language for behavioral composition and configuration of software components (Q2568280) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- The HeKatE methodology. Hybrid engineering of intelligent systems (Q2930572) (← links)
- In-process agent simulation for early stages of hospital planning (Q2935047) (← links)
- Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies (Q3058804) (← links)
- Rete Network Slicing for Model Queries (Q3187807) (← links)
- A Branding Strategy for Business Types (Q3188296) (← links)
- (Q3561493) (← links)
- CHR for Imperative Host Languages (Q3616887) (← links)
- An Overview of CaesarJ (Q3634735) (← links)
- An Expressive Aspect Language for System Applications with Arachne (Q3634738) (← links)
- (Q4826671) (← links)
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation (Q5256370) (← links)
- Applied Choreographies (Q5881532) (← links)
