Mamoru Maekawa

According to our database1, Mamoru Maekawa authored at least 44 papers between 1976 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Java Mobile Code Dynamic Verification by Bytecode Modification for Host Confidentiality.
Int. J. Netw. Secur., 2008

2007
Development of knowledge-filtering agent along with user context in ubiquitous environment.
Systems and Computers in Japan, 2007

Java Bytecode Dependence Analysis for Secure Information Flow.
Int. J. Netw. Secur., 2007

2004
The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2004

Analyzing Invariant Condition of Running Java Program.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Identifying candidate invariant conditions of running program.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Java mobile code security by bytecode behavior analysis.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003
A Conceptual Framework for Spatiotemporal Data Modeling.
Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003

2001
Need-Based Requirements Change Management.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000
Extending Fault Trees with an AND-THEN Gate.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

1998
GSL: A Requirements Specification Language for End-User Intelligibility.
Softw. Pract. Exp., 1998

1997
The Saga Security System: A Security Architecture for Open Distributed Systems.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

A New Authorization Model and its Mechanism Using Service Paths in Open Distributed Environments.
Proceedings of the Distributed Applications and Interoperable Systems, Proceedings IFIP TC 6.1 Working Conference DAIS'97, Cottbus, Germany, September 30, 1997

1995
Operating System Kernel Automatic Construction.
ACM SIGOPS Oper. Syst. Rev., 1995

1994
A Paraellel and Nonblocking Updating Mechanism for Replicated Directory Files in Distributed Systems.
J. Parallel Distributed Comput., 1994

1993
Flexible User-Definable Performance of Name Resolution Operation in Distributed File Systems.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

1992
Full-Passive Human Recognition from Image Sequences.
Proceedings of IAPR Workshop on Machine Vision Applications, 1992

Improving the Reliability of Name Resolution Mechanism in Distributed Operating Systems.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991
The Galaxy Distributed Operating System.
Computer, 1991

Process Migration in the GALAXY Distributed Operating System.
Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

Flexible User-Definable Memory Coherence Scheme in Distributed Shared Memory of GALAXY.
Proceedings of the Distributed Memory Computing, 2nd Euronean Conference, 1991

1990
Ray-bound tracing for perfect and efficient anti-aliasing.
Vis. Comput., 1990

Highly Concurrent Directory Management in the Galaxy Distributed System.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1988
Hierarchical Object Groups in Distributed Operating Systems.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1986
Multimedia Information Processing Based on a General Media Model.
Proceedings of the Information Processing 86, 1986

1985
A Square Root N Algorithm for Mutual Exclusion in Decentralized Systems
ACM Trans. Comput. Syst., 1985

1984
A Network for Parallel Searching.
Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984

1983
Multimedia Machine.
Proceedings of the Information Processing 83, 1983

1982
Performance Adjustment of an APL Interpreter.
IEEE Trans. Software Eng., 1982

Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming.
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 1982

1981
Adaptation and personalization of VLSI-based computer architecture.
Proceedings of the 14th annual workshop on Microprogramming, 1981

Optimal Processor Interconnection Topologies.
Proceedings of the 8th Annual Symposium on Computer Architecture, 1981

Parallel sort and join for high speed database machine operations.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980
A classification of process coordination schemes in descriptive power.
Int. J. Parallel Program., 1980

Operating system conceptual model for ease of extension.
Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980

Dynamic Tuning of operating systems.
Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980

1979
Experimental Polyprocessor System (EPOS) - Operating System.
Proceedings of the 6th Annual Symposium on Computer Architecture, 1979

Experimental Polyprocessor System (EPOS) - Architecture.
Proceedings of the 6th Annual Symposium on Computer Architecture, 1979

Parallel Join and Sorting Algorithms.
Proceedings of the Data Base Design Techniques II: Physical Structures and Applications, 1979

1978
Interprocess communications in functionally distributed systems.
Comput. Commun., 1978

An extensible distributed data base system.
Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977
Queueing Models for Computer Systems Connected by a Communication Line.
J. ACM, 1977

Interprocess Communications in a Highly Diversified Distributed System.
Proceedings of the Information Processing, 1977

1976
Detection of parallelism between statements by decomposing into separate sequential processes.
Int. J. Parallel Program., 1976


  Loading...