The following pages link to Jakarta (Q14009):
Displaying 16 items.
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- The Web services resource framework in a peer-to-peer context (Q851191) (← links)
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- Dynamic data integration for structural modeling: Model screening approach using a distance-based model parameterization (Q926011) (← links)
- A distance-based prior model parameterization for constraining solutions of spatial inverse problems (Q934752) (← links)
- Program transformations for light-weight CPU accounting and control in the Java virtual machine (Q2271902) (← links)
- Optimal and sustainable extraction of groundwater in coastal aquifers (Q2505867) (← links)
- Extracting a data flow analyser in constructive logic (Q2566027) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- (Q4447243) (← links)
- (Q4471427) (← links)
- (Q4484330) (← links)
- Association Rules Using Rough Set and Association Rule Methods (Q4708223) (← links)
- (Q4736986) (← links)
- Ott: Effective tool support for the working semanticist (Q5189646) (← links)
- Theorem Proving in Higher Order Logics (Q5464662) (← links)
