6953 search results - page 67 / 1391 » Development Tools for Distributed Applications |
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
KBSE
1997
IEEE
14 years 2 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
HOTOS
2009
IEEE
14 years 1 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
ELPUB
2007
ACM
14 years 2 months ago
2007
ACM
The growth in electronic and digital publishing on the World Wide Web has led to the development of a wide range of tools for generating metadata. As a result, it can be difficult...
PAAMS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...