34 results on '"Krka, Ivo"'
Search Results
2. A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation
3. Revisiting the Anatomy and Physiology of the Grid
4. An architecture-driven software mobility framework
5. A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation
6. Requirements Management for Net-Centric Enterprises. Phase 2
7. Requirements Management for Net-Centric Enterprises. Phase 1
8. Template Induction over Unstructured Email Corpora
9. Hierarchical Label Propagation and Discovery for Machine Generated Email
10. Poosobljeni sustav za navigaciju zasnovan na povezivanju usluga
11. Automatic mining of specifications from invocation traces and method invariants
12. Scalable and Accurate Prediction of Availability of Atomic Web Services
13. Component-Aware Triggered Scenarios
14. Requirements Management for Net-Centric Enterprises. Phase 1
15. Requirements Management for Net-Centric Enterprises. Phase 2
16. RT-25: Requirements Management for Net-Centric Enterprises. Phase 1
17. Distributing refinements of a system-level partial behavior model
18. How software architects collaborate: Insights from collaborative software design in practice
19. Obtaining ground-truth software architectures
20. A Framework for Obtaining the Ground-Truth in Architectural Recovery
21. Revisiting modal interface automata
22. Architecture-level reliability prediction of concurrent systems
23. Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach
24. From requirements to partial behavior models
25. Probabilistic automata for architecture-based reliability assessment
26. Using dynamic execution traces and program invariants to enhance behavioral model inference
27. The anatomy and physiology of the grid revisited
28. Synthesizing and utilizing partial behavior models during requirements elicitation
29. Synthesizing partial component-level behavior models from system specifications
30. From system specifications to component behavioral models
31. Obtaining Ground-Truth Software Architectures.
32. Probabilistic automata for architecture-based reliability assessment.
33. Using dynamic execution traces and program invariants to enhance behavioral model inference.
34. Synthesizing partial component-level behavior models from system specifications.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.