16725 search results - page 2685 / 3345 » Engineering Software Correctness |
193
click to vote
E4MAS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
184
click to vote
FPL
2005
Springer
16 years 22 days ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
193
click to vote
LCPC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...
169
click to vote
PAM
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. While the Internet offers a single best-effort service, we remark that (i) core backbones are in general over provisioned, (ii) end users have increasingly faster acces...
237
click to vote
TGC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...