24 results on '"Leung, K.R.P.H."'
Search Results
2. A New Approach for Locating Mobile Stations under the Statistical Directional Propagation Model.
3. Towards a metamorphic testing methodology for service-oriented software applications.
4. Large-scale location estimation over GSM networks: the gear approach.
5. Using hypergraph as modeling language for generating test cases on demand.
6. Embedded program testing in untestable mobile environment: an experience of trustworthiness approach.
7. A synergistic interweaving of formal and informal methods.
8. Parallel genetic algorithms with schema migration.
9. Modeling Web navigation by statechart.
10. Extending Statecharts with ad lib and multi-thread features.
11. Deriving test cases using class vectors.
12. Towards a more efficient way of generating test cases: class graphs.
13. Extending the Liaison Workflow model and engine to support different signature purposes.
14. Signature management in workflow systems.
15. Software development as a workflow process.
16. A workflow vista of the software process.
17. Liaison: a workflow model for novel applications.
18. Prototyping the structured specification as logic programs.
19. Reversing concurrent systems into formal specifications.
20. The implementation of a multi-server distributed MPEG video system.
21. Improvements towards formalizing UML state diagrams in CSP.
22. Locating mobile stations with statistical directional propagation model.
23. Multiple signature handling in workflow systems.
24. Valmont: a language for workflow programming.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.