186 results on '"Kikuno, T."'
Search Results
2. Rapid fall in blood myoglobin in massive rhabdomyolysis and acute renal failure
3. Issues in Responsive Protocols Design
4. Statistical analysis of deviation of actual cost from estimated cost using actual project data
5. A protocol synthesis method for fault-tolerant multipath routing
6. Verifying Fault Tolerance of Concurrent Systems by Model Checking
7. A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
8. Error Models and Fault-Secure Scheduling in Multiprocessor Systems
9. Three-Mode Failure Model for Reliability Analysis of Distributed Programs
10. Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator
11. An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power
12. Balance and Proximity-Aware Skip Graph Construction.
13. On the Reliability of Cascaded TMR Systems.
14. Towards Automated Verification of Distributed Consensus Protocols.
15. Using the NuSMV Model Checker for Test Generation from Statecharts.
16. Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems.
17. Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.
18. Pairwise Testing in the Presence of Configuration Change Cost.
19. Detecting Feature Interactions in Home Appliance Networks.
20. Constructing Overlay Networks with Low Link Costs and Short Paths.
21. Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique.
22. On the effects of partial membership knowledge on reliability of gossip-based multicast.
23. A Bayesian belief network for assessing the likelihood of fault content.
24. Analysis of software test item generation - comparison between high skilled and low skilled engineers.
25. Evaluating semantic warnings in VoIP programmable services with open source environment.
26. Semantic warnings and feature interaction in Call Processing Language on Internet telephony.
27. Symbolic model checking for self-stabilizing algorithms
28. On estimating testing effort needed to assure field quality in software development.
29. Elimination of crucial faults by a new selective testing method.
30. Statistical analysis of time series data on the number of faults detected by software testing.
31. Detecting feature interactions in telecommunication services with a SAT solver.
32. Deriving interaction-prone scenarios in feature interaction filtering with use case maps.
33. Development of session management mechanism for cellular phone with WWW connection.
34. Improving the testing process by program static analysis.
35. Automatic verification of fault tolerance using model checking.
36. An implementation of electronic shopping cart on the Web system using component-object technology.
37. A selective software testing method based on priorities assigned to functional modules.
38. On prediction of cost and duration for risky software projects based on risk questionnaire.
39. Fault-secure scheduling of arbitrary task graphs to multiprocessor systems.
40. Intelligent scheduling based on start time adjustment for advanced sequential control systems.
41. Generating test items for checking illegal behaviors in software testing.
42. Minimizing the maximum delay for reaching consensus in quorum-based mutual exclusion schemes
43. Localizing multiple faults in a protocol implementation
44. A Formal Adaptation Method For Process Descriptions.
45. A routing protocol for finding two node-disjoint paths in computer networks.
46. Responsiveness evaluation of a class of communication protocols.
47. A fast selective traversal algorithm for binary search trees.
48. An approach to safety and correctness verification of software design specification.
49. Analysis of review's effectiveness based on software metrics.
50. A new framework of measuring software development processes.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.