Mario Tokoro

According to our database1, Mario Tokoro authored at least 95 papers between 1974 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Peer-to-Peer Control System for DC Microgrids.
IEEE Trans. Smart Grid, 2018

2012
Toward Practical Application of Formal Methods in Software Lifecycle Processes.
Proceedings of the Formal Methods and Software Engineering, 2012

2011
WOSD 2011: The first international workshop on open systems dependability.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

2009
Communications and open systems.
Proceedings of the 3rd International Universal Communication Symposium, 2009

2000
Comparison between Lamarckian and Darwinian Evolution on a Model Using Neural Networks and Genetic Algorithms.
Knowl. Inf. Syst., 2000

1999
Evolving Learnable Neutral Networks Under Changing Environments with Various Rates of Inheritance of Acquired Characters: Comparison Between Darwinian and Lamarckian Evolution.
Artif. Life, 1999

Adaptability of Darwinian and Lamarckian Populations toward an Unknown New World.
Proceedings of the Advances in Artificial Life, 5th European Conference, 1999

1998
Back to Home: Where Computers and Networking Should Go.
Proceedings of the Worldwide Computing and Its Applications, International Conference, 1998

Adaptation under Changing Environments with Various Rates of Inheritance of Acquired Characters: Comparison between Darwinian and Lamarckian Evolution.
Proceedings of the Simulated Evolution and Learning, 1998

1997
An Adaptive Architecture for Modular Q-Learning.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
Least Suffering Strategy in Distributed Real-Time Programming Language DROL.
Real Time Syst., 1996

Reflection and Time-Dependent Computing: Experiences with the R2 Architecture.
LISP Symb. Comput., 1996

Distributed Interaction with Computon.
Proceedings of the Agents Breaking Away, 1996

Integrating Routing and Resource Reservation Mechanisms in Real-time Multicast Protocols.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

An Agent Is an Individual That Has Consciousness.
Proceedings of the Intelligent Agents III, 1996

1995
Introduction to the Special Issue.
Theory Pract. Object Syst., 1995

A multiversion mechanism for intra-object concurrency.
Distributed Syst. Eng., 1995

Constructing distributed real-time systems with DROL real-time objects.
Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications, October 25, 1995

SCONE: Using Concurrent Objects for Low-level Operating System Programming.
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

Design and Implementation of DROL Runtime Environment on Real-Time Mach Kernel.
Proceedings of the Object-Based Parallel and Distributed Computation, 1995

The Trailblazer Search with a Hierarchical Abstract Map.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Map Making as a Support for Cooperation.
Proceedings of the First International Conference on Multiagent Systems, 1995

Linear Prediction in a Multi-Agent Environment.
Proceedings of the First International Conference on Multiagent Systems, 1995

A Multiversion Concurrent Object Model for Distributed and Multiuser Environments.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

Time and Asynchrony in Interactions among Distributed Real-Time Objects.
Proceedings of the ECOOP'95, 1995

Modelling Macroscopic Prediction Mechanisms by Linear Prediction.
Proceedings of the 1995 International Workshop on Biologically Inspired Evolutionary Systems, 1995

Artificial Life and Real World Computing.
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994
A Formalism for Remotely Interacting Processes.
Proceedings of the Theory and Practice of Parallel Programming, 1994

Agents: Towards a Society in Which Humans and Computer Cohabitate.
Proceedings of the Distributed Software Agents and Applications, 1994

A Collaboration Strategy for Receptive Encounters.
Proceedings of the Distributed Software Agents and Applications, 1994

A Network Architecture for Reliable Process Group Communication.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

Semantics for a Real-Time Object-Oriented Programming Language.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

The Trailblazer Search: A New Method for Searching and Capturing Moving Targets.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
The society of objects.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1993

Host migration transparency in IP networks: the VIP approach.
Comput. Commun. Rev., 1993

Control Handling in Real-Time Communication Protocols.
Proceedings of the ACM SIGCOMM 1993 Conference on Communications Architectures, 1993

A Typing System for a Calculus of Objects.
Proceedings of the Object Technologies for Advanced Software, 1993

Metalevel Decomposition in AL-1/D.
Proceedings of the Object Technologies for Advanced Software, 1993

A Collaboration Mechanism on Positive Interactions in Multi-agent Environments.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Queries on Structures in Hypertext.
Proceedings of the Foundations of Data Organization and Algorithms, 1993

Toward Languages and Formal Systems for Distributed Computing.
Proceedings of the Object-Based Distributed Programming, 1993

A Timed Calculus for Distributed Objects with Clocks.
Proceedings of the ECOOP'93, 1993

A Negotiation Protocol for Conflict Resolution in Multi-Agent Environments.
Proceedings of the International Conference on Intelligent and Cooperative Information Systems, 1993

1992
The new structure of an operating system: the Apertos approach.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Asynchrony and Real-Time in Distributed Systems.
Proceedings of the Parallel Symbolic Computing: Languages, 1992

DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

A Formalism for Real-Time Concurrent Object-Oriented Computing.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Design, Implementation, and Evaluation of Virtual Internet Protocol.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

Morphe: A Constraint-Based Object-Oriented Language Supporting Situated Knowledge.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991
Object-Oriented Approach to Discourse Understanding.
Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991

The Muse Object Architecture: A New Operating System Structuring Concept.
ACM SIGOPS Oper. Syst. Rev., 1991

A Network Architecture Providing Host Migration Transparency.
Proceedings of the Conference on Communications Architecture & Protocols, 1991

Traces Semantics for Actor Systems.
Proceedings of the Object-Based Concurrent Computing, 1991

On Asynchronous Communication Semantics.
Proceedings of the Object-Based Concurrent Computing, 1991

What Is An Object?
Proceedings of the Object-Based Concurrent Computing, 1991

An Object Calculus for Asynchronous Communication.
Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

Providing Dynamic Type Abstractions and Specifications for Persistent Information.
Proceedings of the Deductive and Object-Oriented Databases, 1991

Toward Computing Systems for the 2000s.
Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1990
An adaptive load balancing method in the computational field model.
Proceedings of the Workshop on Object-based Concurrent Programming, 1990

A small calculus for concurrent objects.
Proceedings of the Workshop on Object-based Concurrent Programming, 1990

1989
Toward a New Computing Model for an Open Distributed Environment.
Proceedings of the Parallel Lisp: Languages and Systems, 1989

A Reflective Architecture for an Object-Oriented Distributed Operating System.
Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989

The Computational Field Model for Open Distributed Environments.
Proceedings of the Concurrency: Theory, 1989

1988
Sarek: a window system interface for object-oriented concurrent programming languages.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

Distributed concurrent smalltalk: a language and system for the interpersonal environment.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

The Design and Implementation of Unix-Based Network System Adopting X.25 Protocol.
Syst. Comput. Jpn., 1988

ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators.
Proceedings of the Logic Programming '88, 1988

ADAM: An Extension of Situation Semantics for Practical Use.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987
Experience and Evolution of ConcurrentSmalltalk.
Proceedings of the Conference on Object-Oriented Programming Systems, 1987

Half-Dynamic Scheduling with Data-flow Control.
Proceedings of the Supercomputing, 1987

Behavioral Simulation Based on Knowledge Objects.
Proceedings of the ECOOP'87 European Conference on Object-Oriented Programming, 1987

1986
Orient84/K: A Language with Multiple Paradigms in the Object Framework.
IEEE Softw., 1986

Orient84/K (abstract only): an object oriented concurrent programming language for knowledge systems.
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

Concurrent programming in Orient84/K: an object-oriented knowledge representation language.
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

SCOPE: Solid and colored object projection environment.
Syst. Comput. Jpn., 1986

The Design and Implementation of ConcurrentSmalltalk.
Proceedings of the Conference on Object-Oriented Programming Systems, 1986

A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation.
Proceedings of the Conference on Object-Oriented Programming Systems, 1986

Which LAN in the Factory (Panel).
Proceedings of the Information Processing 86, 1986

LAN Technology: Status and Standardization.
Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1985
A Three-dimensional Shaded Display Method for Voxel-based Representation.
Proceedings of the 6th European Computer Graphics Conference and Exhibition, 1985

1984
Evaluation of Working Set Algorithms for Data-flow Machines.
Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

The Design of an Object Oriented Architecture.
Proceedings of the 11th Annual Symposium on Computer Architecture, 1984

An Object-Oriented Approach to Knowledge Systems.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983
Collision detection in motion simulation.
Comput. Graph., 1983

On the Working Set Concept for Data-Flow Machines
Proceedings of the 10th Annual Symposium on Computer Architecture, 1983, 1983

1982
Towards the Design and Implementation of Object Oriented Architecture.
Proceedings of the RIMS Symposium on Software Science and Engineering, 1982

On the semantic structure of information - A proposal of the abstract storage architecture.
Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982

1981
Optimization of Microprograms.
IEEE Trans. Computers, 1981

1980
A High-Level Multi-Lingual Multiprocessor KMP.
Proceedings of the 7th Annual Symposium on Computer Architecture, 1980

1979
Hierarchical microprogram generating system.
Proceedings of the 12th annual workshop on Microprogramming, 1979

1978
A technique of global optimization of microprograms.
Proceedings of the 11th annual workshop on Microprogramming, 1978

A module level simulation technique for systems composed of LSI's and MSI's.
Proceedings of the 15th Design Automation Conference, 1978

1977
An approach to microprogram optimization considering resource occupancy and instruction formats.
Proceedings of the 10th annual workshop on Microprogramming, 1977

PM/II: multiprocessor oriented byte-sliced LSI processor modules.
Proceedings of the American Federation of Information Processing Societies: 1977 National Computer Conference, 1977

1974
A Very High-Speed Microprogrammable Pipeline Signal Processor.
Proceedings of the Information Processing, 1974


  Loading...