255 search results - page 19 / 51 » Towards Systematic Testing of Distributed Real-Time Systems |
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
IPPS
2000
IEEE
14 years 21 days ago
2000
IEEE
We advocate an approach towards the characterisation of components where their qualifications are deduced systematically from a small set of elementary assumptions. Using the chara...
JCIT
2008
13 years 9 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
FORTE
2000
13 years 10 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...