94 results on '"Honiden, Shinichi"'
Search Results
2. Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B
3. Test Suite Reduction in Idempotence Testing of Infrastructure as Code
4. Construction of Abstract State Graphs for Understanding Event-B Models
5. Stepwise Refinement of Software Development Problem Analysis
6. Refactoring Refinement Structure of Event-B Machines
7. Automatic Generation of Potentially Pathological Instances for Validating Alloy Models
8. Understanding and Planning Event-B Refinement through Primitive Rationales
9. A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance
10. Efficient Neuroevolution for a Quadruped Robot
11. Supporting View Transition Design of Smartphone Applications Using Web Templates
12. Applying QoS-Aware Service Selection on Functionally Diverse Services
13. Utility-Based Self-Adaption with Environment Specific Quality Models
14. Data Management Solutions in Networked Sensing Systems
15. Approximate Shortest Path Queries Using Voronoi Duals
16. Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes
17. XAC Project
18. Cooperative Behaviors Description for Self-* Systems Implementation
19. Communication in Context: A Stimulus-Response Account of Agile Team Interactions
20. Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy
21. Flexible Bloom Filters for Searching Textual Objects
22. Suppressing Redundancy in Wireless Sensor Network Traffic
23. What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project
24. Challenges for Exception Handling in Multi-Agent Systems
25. Multi-Agent Participatory Simulations Between Experimental Economics and Role-Playing Games
26. A Definition of Exceptions in Agent-Oriented Computing
27. Exhaustive Testing of Exception Handlers with Enforcer
28. Pheromone Model: Application to Traffic Congestion Prediction
29. Overhearing and Direct Interactions: Point of View of an Active Environment
30. Enforcer – Efficient Failure Injection
31. A Modeling Framework for Generic Agent Interaction Protocols
32. Mobeet: A Multi-agent Framework for Ubiquitous Information Systems
33. Bridging the Gap Between AUML and Implementation Using IOM/T
34. Introducing Participative Personal Assistant Teams in Negotiation Support Systems
35. picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing
36. Flexible and Maintainable Contents Activities in Ubiquitous Environment
37. T-Compound Interaction and Overhearing Agents
38. Development Methodology for Location-Aware Mobile Agent
39. A Pattern Oriented Mobile Agent Framework for Mobile Computing
40. A Formal Model of Active Contents Based on the Ambient Calculus
41. Security for Mobile Agents
42. Quantitative Evaluation of Pairwise Interactions between Agents
43. Formal semantics of agent evolution in language flage
44. Hypersequential Programming
45. An algebraic semantics of reflective objects
46. An application of artificial intelligence to prototyping process in performance design for real-time systems
47. Stepwise Refinement of Software Development Problem Analysis.
48. Automatic Generation of Potentially Pathological Instances for Validating Alloy Models.
49. Refactoring Refinement Structure of Event-B Machines.
50. Knowledge Engineering Application in Image Processing
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.