Searching for authors named Michael Schroeder – sorted by Relevance.
-
Will Concurrency Theory help verifying Multi-Agent Systems? - A Case Study
- Will Concurrency Theory help verifying Multi-Agent Systems? -- A Case Study -- Michael Schroeder
- Add To MetaCart
-
Using VRML to visualise argumentation, agents, and arguing agents - A preliminary report
- , agents, and arguing agents A preliminary report Michael Schroeder City University, London msch
- Add To MetaCart
-
Verification Of Business Processes For A Correspondence Handling Center Using Ccs
- Michael Schroeder 1;2 Abstract In this research paper we develop a translation of business processes
- Cited by 4 (0 self) – Add To MetaCart
-
Using Singular Value Decomposition to Visualise Relations within Multi-Agent Systems
- to Visualise Relations within Multi-Agent Systems Michael Schroeder City University, Northampton Square
- Cited by 10 (9 self) – Add To MetaCart
-
How to Tell a Logical Story
- , where a goal G holds How to tell a logical story Michael Schroeder City University, London, msch
- Cited by 1 (0 self) – Add To MetaCart
-
Towards a Visualization of Arguing Agents
- , Elsevier, 2000 Michael Schroeder Department of Computing, City University, London EC1V 0HB, UK tel.: ++44
- Cited by 1 (0 self) – Add To MetaCart
-
An Efficient Argumentation Framework for Negotiating Autonomous Agents
- An Efficient Argumentation Framework for Negotiating Autonomous Agents Michael Schroeder City
- Cited by 14 (11 self) – Add To MetaCart
-
Engineering a Security Kernel for MULTICS
- ENGINEERING A SECURITY KERNEL FOR MULTICS Michael D. Schroeder Massachusetts Institute
- Cited by 15 (0 self) – Add To MetaCart
-
Abstract 11. Paper: Performance of Firefly RPC
- . Schroeder and Michael Burrows 1 In this paper, we report on the performance of the remote procedure call
- Add To MetaCart
-
Performance of Firefly RPC
- Performance of Firefly RPC MICHAEL D. SCHROEDER and MICHAEL BURROWS April 15, 1989 SRC RESEARCH
- Cited by 135 (1 self) – Add To MetaCart

