6953 search results - page 22 / 1391 » Development Tools for Distributed Applications |
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
ENTCS
2007
13 years 7 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
WEBNET
2000
13 years 9 months ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
ICCHP
2010
Springer
13 years 11 months ago
2010
Springer
Existing development tools provide little out-of-the-box assistance in order to design and develop accessible ICT Java solutions for impaired users. Two new approximation simulatio...
NGC
1998
Springer
13 years 7 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...