Shinichi Honiden

教授(任期付)

  • 1716 Citations
  • 19 h-Index
1984 …2019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Shinichi Honiden is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Mobile agents
Wireless sensor networks
Multi agent systems
Specifications
Software engineering
Web services
Quality of service
Temporal logic
Chemical analysis
Communication
Ubiquitous computing
Adaptive systems
Middleware
Experiments
Planning
Computer programming languages
Real time systems
Software prototyping
Semantics
Railroad cars
Testing
Object oriented programming
Network protocols
Sensors
Specification languages
Model checking
Traffic congestion
Internet
Interoperability
Formal methods
Petri nets
Routing protocols
Costs
Large scale systems
Data structures
Computer software reusability
Computer programming
Robots
Sensor nodes
Information services
Recommender systems
Application programs
Industry
Concretes
Synchronization
Ad hoc networks
Knowledge engineering
Encapsulation
Computer systems
Telecommunication traffic

Mathematics

Mobile Agent
Event-B
Agent Systems
Concurrent
Refinement
Voronoi
Specification
Multi-agent Systems
Interaction
Interaction Protocols
Exception Handling
Neuroevolution
Agent Architecture
Mobile Systems
Service Selection
Intelligent Agents
Model
Wireless Sensor Networks
Migration
Refactoring
Service Composition
Distributed Systems
Exception
Formal Specification
Vertex of a graph
Prototyping