Sciweavers

6978 search results - page 307 / 1396
» On Proofs in System P
Sort
View
AGENTS
2000
Springer
15 years 11 months ago
Varying the user interaction within multi-agent systems
Terry R. Payne, Katia P. Sycara, Michael Lewis
COOPIS
1999
IEEE
15 years 11 months ago
Event Composition in Time-dependent Distributed Systems
Christoph Liebig, Mariano Cilia, Alejandro P. Buch...
ISCA
1999
IEEE
218views Hardware» more  ISCA 1999»
15 years 11 months ago
Maps: A Compiler-Managed Memory System for Raw Machines
Rajeev Barua, Walter Lee, Saman P. Amarasinghe, An...
149
Voted
IFIP
1999
Springer
15 years 11 months ago
Dynamics of performance measurement systems
Umit S. Bititci, Allan S. Carrie, T. Turner, P. Su...