Searching for authors named Michael Schroeder – sorted by Relevance.
105 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
