395 results on '"Honiden, Shinichi"'
Search Results
352. Agent system development method based on agent patterns
353. Application of Algebraic Specification to Verify the Design of Safety Logic in Nuclear Power Plants
354. Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
355. MENDELS ZONE: A parallel program development system based on formal specifications
356. Cell Placement by Genetic Algorithm
357. Agent system development method based on agent patterns.
358. S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study.
359. A multi-objective evolutionary approach to scheduling for evolving manufacturing systems.
360. Group Migration by Mobile Agents in Wireless Sensor Networks.
361. An integration environment to put formal specifications into practical use in real-time systems.
362. A hierarchical mobile agent framework and its application to multimedia contents.
363. An application of structural modeling and automated reasoning to real-time systems design
364. Building coalitions involving agents and humans.
365. Service-oriented and autonomous distribution and provision of multimedia contents.
366. An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.
367. Reliability AND Safety OF Real-Time Systems.
368. Formalizing Specificationm Modeling in OOA.
369. COOAD: A CASE TOOL FOR OBJECT-ORIENTED ANALYSIS AND DESIGN.
370. TRANSOBJ: SOFTWARE PROTOTYPING ENVIRONMENT FOR REAL-TIME TRANSACTION-BASED SOFTWARE SYSTEM APPLICATIONS.
371. ADAPTING OBJECT-COMMUNICATION METHODS DYNAMICALLY.
372. EVA: A Flexible Programming Method for Evolving Systems.
373. Modelling and Analysing Resilient Cyber-Physical Systems
374. Activity States Framework as an Experimental Approach to Studying and Modeling Context in Web-Mediated Collaborative Dialogs
375. Activity States Framework as an Experimental Approach to Studying and Modeling Context in Web-Mediated Collaborative Dialogs
376. Modelling and Analysing Resilient Cyber-Physical Systems
377. Modelling and Analysing Resilient Cyber-Physical Systems
378. Parallel Processing of MENDEL Using Multiprocessor Scheduling Algorithms
379. Plug&manage heterogeneous sensing devices.
380. Agent synthesis.
381. Pheromone model.
382. Flexible and Maintainable Contents Activities in Ubiquitous Environment.
383. Pigeon.
384. Interoperability for mobile agents by incarnation agents.
385. edubase Cloud.
386. Agent-Based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games.
387. Design and Engineering of Adaptive Software Systems
388. Challenges in Engineering Self-Adaptive Authorisation Infrastructures
389. Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed
390. Assessing Security and Privacy Behavioural Risks for Self-Protection Systems
391. Parallel Adaptation of Multiple Service Composition Instances
392. Bidirectional Transformations for Self-Adaptive Systems
393. Self-Adaptation of Software Using Automatically Generated Control-Theoretical Solutions
394. Self-Adaptation of Software Using Automatically Generated Control-Theoretical Solutions
395. Integrating and scheduling an open set of static analyses
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.