59 results on '"Dang The Hung"'
Search Results
2. Outage Performance Of Hybrid Satellite-Terrestrial Relaying Networks With Rateless Codes In Co-Channel Interference Environment.
3. Outage Performance of Full-Duplex Dual-hop Relaying System With Energy Harvesting Using Fountain Codes.
4. Data Mining for Bankruptcy Prediction: An Experiment in Vietnam.
5. The impact of CG on the earnings quality of enterprises listed on the stock market in Vietnam.
6. On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software.
7. On Model Finding with Constraint Patterns.
8. Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.
9. A Type System for Counting Logs of Multi-threaded Nested Transactional Programs.
10. Modeling and Specification of Real-Time Interfaces with UTP.
11. Timed traces and their applications in specification and verification of distributed real-time systems.
12. Real-Time Relational Interface Behavior Modeling and Specification.
13. Checking Interface Interaction Protocols Using Aspect-Oriented Programming.
14. Verification of Linear Duration Invariants by Model Checking CTL Properties.
15. Modelling with Relational Calculus of Object and Component Systems - rCOS.
16. A Theory of Duration Calculus with Application.
17. Towards a Template Language for Component-based Programming.
18. Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.
19. Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.
20. On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.
21. Modeling Urgency in Component-Based Real-Time Systems.
22. A Summary of the Tutorials at ICTAC 2005.
23. Toward a formal model for component interfaces for real-time systems.
24. Model Checking Real-Time Component Based Systems with Blackbox Testing.
25. Verifying Linear Duration Constraints of Timed Automata.
26. Modelling Real-time Database Systems in Duration Calculus.
27. An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.
28. A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing System.
29. Specification and Verification of Spatial Data Types with B-Toolkit.
30. Real-Time Systems Development with Duration Calculi: An Overview.
31. A Case Study on Formal Design of Hybrid Control Systems.
32. Deriving Real-Time Programs from Duration Calculus Specifications.
33. Completeness and Decidability of a Fragment of Duration Calculus with Iteration.
34. A Formal Specification of the Concurrency Control in Real-Time Databases.
35. On Checking Timed Automata for Linear Duration Invariants.
36. Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS.
37. Duration Calculus of Weakly Monotonic Time.
38. Some Decidability Results for Duration Calculus under Synchronous Interpretation.
39. On Checking Parallel Real-Time Systems for Linear Duration Properties.
40. Reasoning about QoS Contracts in the Probabilistic Duration Calculus.
41. Checking Hybrid Automata for Linear Duration Invariants.
42. On Verification of Linear Occurrence Properties of Real-Time Systems.
43. Checking Linear Duration Invariants by Linear Programming.
44. On the Design of Hybrid Control Systems Using Automata Models.
45. Sampling Semantics of Duration Calculus.
46. Verification via Digitized Models of Real-Time Hybrid Systems.
47. Formal Analysis of Streaming Downloading Protocol for System Upgrading.
48. Duration Calculus Specification of Schedulimg for Tasks with Shared Resources.
49. A Duration Calculus with Infinite Intervals.
50. An algorithm for maintaining consistent view of processes in distributed systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.