4290 search results - page 9 / 858 » Formal Approaches to Teamwork |
FM
1999
Springer
15 years 4 months ago
1999
Springer
FM
1999
Springer
15 years 4 months ago
1999
Springer
SAS
1997
Springer
15 years 4 months ago
1997
Springer
ICMAS
2000
15 years 1 months ago
2000
Withthe proliferationof software agents and smart hardware devices there is a growing realization that large-scale problems can be addressed by integration of such standalone syst...
PPAM
2001
Springer
15 years 4 months ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...