1690 search results - page 15 / 338 » Applications of Metric Coinduction |
INFOCOM
1996
IEEE
13 years 12 months ago
1996
IEEE
APL
1990
ACM
13 years 11 months ago
1990
ACM
IESA
2007
13 years 9 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
IEEESP
2007
13 years 7 months ago
2007
SAC
2010
ACM
14 years 1 months ago
2010
ACM
The Multi-agent Systems (MASs) paradigm continues to consolidate itself as a new branch of software engineering. Traditional software engineering strongly recommends to apply metr...